diff options
| author | filliatr | 1999-12-03 11:34:33 +0000 |
|---|---|---|
| committer | filliatr | 1999-12-03 11:34:33 +0000 |
| commit | 76b16e44285d06236b9c00e24659138c376d54f3 (patch) | |
| tree | 03bb85046c204828901f26d84e2196c37abaa7f2 /Makefile | |
| parent | f20dbafa3e49c35414640e01c3549ad1c802d331 (diff) | |
modules profile, Coqinit et Coqtop (=main)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@194 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -34,7 +34,7 @@ CONFIG=config/coq_config.cmo LIB=lib/pp_control.cmo lib/pp.cmo lib/util.cmo \ lib/hashcons.cmo lib/dyn.cmo lib/system.cmo lib/options.cmo \ lib/bstack.cmo lib/edit.cmo lib/stamps.cmo lib/gset.cmo lib/gmap.cmo \ - lib/tlm.cmo lib/bij.cmo lib/gmapl.cmo + lib/tlm.cmo lib/bij.cmo lib/gmapl.cmo lib/profile.cmo KERNEL=kernel/names.cmo kernel/generic.cmo kernel/univ.cmo kernel/term.cmo \ kernel/sign.cmo kernel/constant.cmo \ @@ -77,7 +77,8 @@ TACTICS=tactics/dn.cmo tactics/termdn.cmo tactics/btermdn.cmo \ TOPLEVEL=toplevel/himsg.cmo toplevel/errors.cmo toplevel/vernacinterp.cmo \ toplevel/metasyntax.cmo toplevel/command.cmo toplevel/class.cmo \ toplevel/vernacentries.cmo toplevel/vernac.cmo toplevel/mltop.cmo \ - toplevel/protectedtoplevel.cmo toplevel/toplevel.cmo + toplevel/protectedtoplevel.cmo toplevel/toplevel.cmo \ + toplevel/usage.cmo toplevel/coqinit.cmo toplevel/coqtop.cmo CMA=$(CLIBS) $(CAMLP4OBJS) CMXA=$(CMA:.cma=.cmxa) @@ -118,7 +119,7 @@ coqtop.byte: $(CMO) Makefile MINICOQCMO=$(CONFIG) $(LIB) $(KERNEL) \ parsing/lexer.cmo parsing/g_minicoq.cmo \ - toplevel/himsg.cmo toplevel/minicoq.cmo + toplevel/fhimsg.cmo toplevel/minicoq.cmo minicoq: $(MINICOQCMO) $(OCAMLC) $(INCLUDES) -o minicoq -custom $(CMA) $(MINICOQCMO) \ |