diff options
| author | Pierre Boutillier | 2014-02-21 12:24:33 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-02-24 14:07:07 +0100 |
| commit | 2a435ff6fdb682de0161ad4ac5893599c363bb4b (patch) | |
| tree | 20c32a384b16e3c822e2ea59df3826dc949ff6c2 | |
| parent | 26c390aae1275f02892412f121360668ad98a660 (diff) | |
make coqide-binaries does not build coqtop anymore
| -rw-r--r-- | Makefile.build | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.build b/Makefile.build index d45a0cbd3c..312db8ec9e 100644 --- a/Makefile.build +++ b/Makefile.build @@ -315,20 +315,20 @@ coqide-opt: $(COQIDEBYTE) $(COQIDE) coqide-files: $(IDEFILES) ifeq ($(HASCOQIDE),opt) -$(COQIDE): $(LINKIDEOPT) | $(COQTOPEXE) +$(COQIDE): $(LINKIDEOPT) $(SHOW)'OCAMLOPT -o $@' $(HIDE)$(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -o $@ unix.cmxa lablgtk.cmxa \ - lablgtksourceview2.cmxa str.cmxa $(IDEFLAGS:.cma=.cmxa) $(LINKIDEOPT) + lablgtksourceview2.cmxa str.cmxa $(IDEFLAGS:.cma=.cmxa) $^ $(STRIP) $@ else $(COQIDE): $(COQIDEBYTE) cp $< $@ endif -$(COQIDEBYTE): $(LINKIDE) | $(COQTOPBYTE) +$(COQIDEBYTE): $(LINKIDE) $(SHOW)'OCAMLC -o $@' $(HIDE)$(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -o $@ unix.cma lablgtk.cma \ - lablgtksourceview2.cma str.cma $(IDEFLAGS) $(LINKIDE) + lablgtksourceview2.cma str.cma $(IDEFLAGS) $^ # install targets |