Commit 2d606018 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Few fixes in dune files. Prepare an opam branch that will be compatible both...

Few fixes in dune files. Prepare an opam branch that will be compatible both with menhir >= 20181006 and earlier versions.
parent 1a0aceba
(lang dune 1.0)
(lang dune 1.1)
(using menhir 1.0)
archive: "http://calligramme.loria.fr/acg/software/acg-1.5.0-20181015.tar.gz"
checksum: "b45e2f22a996c36a5c5d7f01219468da"
archive: "http://calligramme.loria.fr/acg/software/acg-1.5.0-20181016.tar.gz"
checksum: "4b037edfdd9630eec9667fca6c49e46b"
;; -*-lisp-*-
(ocamllex data_lexer term_lexer)
(menhir
......@@ -14,6 +13,8 @@
(modules file_parser sig_parser lex_parser term_type_parser bound_term_parser))
;; Rule to generate the messages ml file
(rule
(targets messages.ml)
......@@ -21,11 +22,11 @@
(deps
(alias update)
(alias check)
(:message_file data_parser.messages.new)
(:message_file data_parser.messages)
(:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly)
)
(action
(with-stdout-to messages.ml (run %{bin:menhir} --base data_parser --explain --table --compile-errors %{message_file} %{parsers})))
(with-stdout-to messages.ml (run menhir --base data_parser --explain --table --compile-errors %{message_file} %{parsers})))
)
;; Rule to generate the automatic message file
......@@ -33,14 +34,14 @@
(targets data_parser.messages.automatic)
(deps (:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly))
(action
(with-stdout-to data_parser.messages.automatic (run %{bin:menhir} --base data_parser --explain --table --list-errors %{parsers})))
(with-stdout-to data_parser.messages.automatic (run menhir --base data_parser --explain --table --list-errors %{parsers})))
)
;; Rule to generate the message file
(rule
(targets data_parser.messages.new)
(deps (:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly))
(action (with-stdout-to data_parser.messages.new (run %{bin:menhir} --base data_parser --explain --table --update-errors data_parser.messages %{parsers}))
(action (with-stdout-to data_parser.messages.new (run menhir --base data_parser --explain --table --update-errors data_parser.messages %{parsers}))
)
)
......@@ -56,7 +57,7 @@
data_parser.messages
(:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly)
)
(action (run %{bin:menhir} --base data_parser --explain --table --compare-errors data_parser.messages.automatic --compare-errors data_parser.messages %{parsers}))
(action (run menhir --base data_parser --explain --table --compare-errors data_parser.messages.automatic --compare-errors data_parser.messages %{parsers}))
)
;; This stanza declares the Grammar library
......
(* This file was auto-generated based on "data_parser.messages.new". *)
(* This file was auto-generated based on "data_parser.messages". *)
(* Please note that the function [message] can raise [Not_found]. *)
......
......@@ -14,11 +14,11 @@
(deps
(alias update)
(alias check)
(:message_file command_parser.messages.new)
(:message_file command_parser.messages)
(:parser command_parser.mly)
)
(action
(with-stdout-to messages.ml (run %{bin:menhir} --explain --table --compile-errors %{message_file} %{parser})))
(with-stdout-to messages.ml (run menhir --explain --table --compile-errors %{message_file} %{parser})))
)
;; Rule to generate the automatic message file
......@@ -26,14 +26,14 @@
(targets command_parser.messages.automatic)
(deps (:parser command_parser.mly))
(action
(with-stdout-to command_parser.messages.automatic (run %{bin:menhir} --explain --table --list-errors %{parser})))
(with-stdout-to command_parser.messages.automatic (run menhir --explain --table --list-errors %{parser})))
)
;; Rule to generate the message file
(rule
(targets command_parser.messages.new)
(deps (:parser command_parser.mly))
(action (with-stdout-to command_parser.messages.new (run %{bin:menhir} --explain --table --update-errors command_parser.messages %{parser}))
(action (with-stdout-to command_parser.messages.new (run menhir --explain --table --update-errors command_parser.messages %{parser}))
)
)
......@@ -49,7 +49,7 @@
command_parser.messages
(:parser command_parser.mly)
)
(action (run %{bin:menhir} --explain --table --compare-errors command_parser.messages.automatic --compare-errors command_parser.messages %{parser}))
(action (run menhir --explain --table --compare-errors command_parser.messages.automatic --compare-errors command_parser.messages %{parser}))
)
......
......@@ -17,4 +17,4 @@
(* *)
(**************************************************************************)
let version = "1.5.0-20181015"
let version = "1.5.0-20181016"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment