Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
322 B · 14 lines
at master
123456789101112131415; We get a super bizarre error here...; (rule; (alias plugin-tutorial); (deps; (source_tree .); (package rocq-runtime); ../../tools/CoqMakefile.in; ../../theories/Init/Prelude.vo); (action; (bash "make ROCQRUNTIMELIB=$(pwd)/../../ ROCQLIB=$(pwd)/../../")))
(env (dev (flags :standard -w -70)))