diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-02-24 23:58:56 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-02-27 00:07:39 +0100 |
commit | 2206b405c19940ca4ded2179d371c21fd13f1b6b (patch) | |
tree | e6de3d347e53644439203cbfcb209a9fa4ffb462 /Makefile.build | |
parent | 93db616a6cbebf37f2f4f983963a87a4f66972e7 (diff) |
Adding a new folder corresponding to the low-level part of the pretyper
together with the tactic monad.
The move is not complete yet, because some file candidates for this directory
have almost useless dependencies in other ones that should not be moved.
Diffstat (limited to 'Makefile.build')
-rw-r--r-- | Makefile.build | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index a0f7879d5..0e3313ecc 100644 --- a/Makefile.build +++ b/Makefile.build @@ -501,12 +501,13 @@ test-suite: world $(ALLSTDLIB).v ################################################################## .PHONY: lib kernel byterun library proofs tactics interp parsing pretyping -.PHONY: highparsing stm toplevel hightactics +.PHONY: engine highparsing stm toplevel hightactics lib: lib/clib.cma lib/lib.cma kernel: kernel/kernel.cma byterun: $(BYTERUN) library: library/library.cma +engine: engine/engine.cma proofs: proofs/proofs.cma tactics: tactics/tactics.cma interp: interp/interp.cma |