Commit b4154715 authored by Rodolphe Lepigre's avatar Rodolphe Lepigre
Browse files

Add missing :standard bit to dune files.

parent 5ac48649
Pipeline #59600 passed with stage
in 17 minutes and 15 seconds
......@@ -307,7 +307,8 @@ let run : config -> string -> unit = fun cfg c_file ->
write_file dune_file [
"; Generated by [refinedc], do not edit.";
"(coq.theory";
" (flags -w -notation-overridden -w -redundant-canonical-projection)";
" (flags :standard -w -notation-overridden \
-w -redundant-canonical-projection)";
Printf.sprintf " (name %s)" (Coq_path.to_string path);
Printf.sprintf " (theories %s))" (String.concat " " theories);
];
......
(coq.theory
(name refinedc.lang)
(package refinedc)
(flags -w -notation-overridden -w -redundant-canonical-projection)
(flags :standard -w -notation-overridden -w -redundant-canonical-projection)
(synopsis "Core language")
(theories refinedc.lithium))
(coq.theory
(name refinedc.lithium.benchmarks)
(package refinedc)
(flags -w -notation-overridden -w -redundant-canonical-projection)
(flags :standard -w -notation-overridden -w -redundant-canonical-projection)
(synopsis "Lithium benchmarks")
(theories refinedc.lithium))
(coq.theory
(name refinedc.lithium)
(package refinedc)
(flags -w -notation-overridden -w -redundant-canonical-projection)
(flags :standard -w -notation-overridden -w -redundant-canonical-projection)
(synopsis "Lithium"))
(coq.theory
(name refinedc.typing.automation)
(package refinedc)
(flags -w -notation-overridden -w -redundant-canonical-projection)
(flags :standard -w -notation-overridden -w -redundant-canonical-projection)
(synopsis "Lithium")
(theories refinedc.lang refinedc.typing refinedc.lithium))
(coq.theory
(name refinedc.typing)
(package refinedc)
(flags -w -notation-overridden -w -redundant-canonical-projection)
(flags :standard -w -notation-overridden -w -redundant-canonical-projection)
(synopsis "Lithium")
(theories refinedc.lang refinedc.lithium))
(coq.theory
(flags -w -notation-overridden -w -redundant-canonical-projection)
(flags :standard -w -notation-overridden -w -redundant-canonical-projection)
(name refinedc.tutorial.adequacy)
(theories refinedc.lang refinedc.typing refinedc.typing.automation refinedc.lithium
refinedc.examples.spinlock refinedc.examples.latch
......
Supports Markdown
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