diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -129,7 +129,7 @@ CMX=$(CMO:.cmo=.cmx) $(ARITHSYNTAX:.cmo=.cmx) COQMKTOP=scripts/coqmktop COQC=scripts/coqc -world: $(COQMKTOP) $(COQC) coqtop.byte coqtop.opt states theories tools +world: $(COQMKTOP) $(COQC) coqtop.byte coqtop.opt states theories contrib tools coqtop.opt: $(COQMKTOP) $(CMX) $(COQMKTOP) -opt -notactics $(OPTFLAGS) -o coqtop.opt |