blob: db8fa10354d551d7914283139a665d1ca1ed0b49 (
plain)
1
2
|
./configure -bindir /usr/bin -libdir /usr/lib/coq -mandir /usr/man -emacs emacs -emacslib /usr/share/emacs/site-lisp -opt -reals all -coqide no # Need ocamlc.opt and ocamlopt.opt
make world # Use native coq to compile theories
|
