diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-08-29 14:43:50 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-29 14:43:50 +0200 |
commit | c3bc1fda9c5dd1805b23d04f2dee711aeec1f4a1 (patch) | |
tree | b62cd62e04d2e965ebc2d19da69fb42ad5d0bd3b /Makefile.common | |
parent | 9326b0466cc04175436dc57cf0283c151b587e54 (diff) | |
parent | 1c55826018c5f07ee25b5771e59fe0389293cb62 (diff) |
Merge PR #937: [general] Remove spurious dependency of highparsing on toplevel.
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index afd6164fc..ccbe9261e 100644 --- a/Makefile.common +++ b/Makefile.common @@ -105,7 +105,7 @@ BYTERUN:=$(addprefix kernel/byterun/, \ CORECMA:=lib/clib.cma lib/lib.cma kernel/kernel.cma intf/intf.cma library/library.cma \ engine/engine.cma pretyping/pretyping.cma interp/interp.cma proofs/proofs.cma \ parsing/parsing.cma printing/printing.cma tactics/tactics.cma vernac/vernac.cma \ - stm/stm.cma toplevel/toplevel.cma parsing/highparsing.cma API/API.cma + parsing/highparsing.cma stm/stm.cma toplevel/toplevel.cma API/API.cma TOPLOOPCMA:=stm/proofworkertop.cma stm/tacworkertop.cma stm/queryworkertop.cma |