diff options
| author | filliatr | 2003-03-17 10:21:42 +0000 |
|---|---|---|
| committer | filliatr | 2003-03-17 10:21:42 +0000 |
| commit | ace7061bcccca4761e78acf28323d6be3fe076c1 (patch) | |
| tree | 1793a117c155a1a7ba7af80e59c807b91dc0a9c6 /Makefile | |
| parent | d38e81f2e91ba52d3b02d8e390a7cc5beefdcc7b (diff) | |
coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE customises)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3778 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -354,6 +354,7 @@ scripts/tolink.ml: Makefile echo "let highparsingnew = \""$(HIGHPARSINGNEW)"\"" >> $@ echo "let hightactics = \""$(HIGHTACTICS)" "$(USERTACCMO)"\"" >> $@ echo "let contrib = \""$(CONTRIB)"\"" >> $@ + echo "let ide = \""$(COQIDECMO)"\"" >> $@ beforedepend:: scripts/tolink.ml @@ -384,11 +385,11 @@ IDEFILES=ide/coq.png ide/.coqiderc ide: $(COQIDEBYTE) $(COQIDE) states $(COQIDEOPT): $(COQMKTOP) $(CMX) $(USERTACCMX) $(COQIDECMX) - $(COQMKTOP) -ide -opt $(COQIDEFLAGS) lablgtk.cmxa $(OPTFLAGS) -o $@ $(COQIDECMX) + $(COQMKTOP) -ide -opt $(OPTFLAGS) -o $@ $(STRIP) $@ $(COQIDEBYTE): $(COQMKTOP) $(CMO) $(USERTACCMO) $(COQIDECMO) - $(COQMKTOP) -g -ide -top $(COQIDEFLAGS) lablgtk.cma $(LOCALINCLUDES) $(CAMLDEBUG) -o $@ $(COQIDECMO) + $(COQMKTOP) -g -ide -top $(LOCALINCLUDES) $(CAMLDEBUG) -o $@ ide/%.cmo: ide/%.ml $(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $< |