diff options
Diffstat (limited to 'distrib/RH/do_build_pcoq')
| -rwxr-xr-x | distrib/RH/do_build_pcoq | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/distrib/RH/do_build_pcoq b/distrib/RH/do_build_pcoq new file mode 100755 index 0000000000..87ce91d552 --- /dev/null +++ b/distrib/RH/do_build_pcoq @@ -0,0 +1,2 @@ +./configure -prefix /usr -emacs emacs -emacslib /usr/share/emacs/site-lisp -opt -reals all -coqide no # Need ocamlc.opt and ocamlopt.opt +make pcoq # Use native coq to compile theories |