diff options
| author | monate | 2003-03-03 08:40:42 +0000 |
|---|---|---|
| committer | monate | 2003-03-03 08:40:42 +0000 |
| commit | 19d01ae7c286b3d0f0acee9280e416149264d39f (patch) | |
| tree | f2c38a49ff928560c5cd8dece40cfacfb96b5f1f /Makefile | |
| parent | 98ebcece4ff6d2d9450dc96206b271516167daa5 (diff) | |
coqide: preferences support and optimizations
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3724 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 19 |
1 files changed, 16 insertions, 3 deletions
@@ -39,7 +39,8 @@ noargument: LOCALINCLUDES=-I config -I tools -I scripts -I lib -I kernel -I library \ -I proofs -I tactics -I pretyping \ - -I interp -I toplevel -I parsing -I ide -I translate \ + -I interp -I toplevel -I parsing -I ide/utils \ + -I ide -I translate \ -I contrib/omega -I contrib/romega \ -I contrib/ring -I contrib/xml \ -I contrib/extraction -I contrib/correctness \ @@ -440,12 +441,16 @@ COQIDEBYTE=bin/coqide.byte$(EXE) COQIDEOPT=bin/coqide.opt$(EXE) COQIDE=bin/coqide.$(BEST)$(EXE) -COQIDECMO=ide/preferences.cmo \ +COQIDECMO=ide/utils/okey.cmo ide/utils/uoptions.cmo \ + ide/utils/configwin_keys.cmo ide/utils/configwin_types.cmo \ + ide/utils/configwin_messages.cmo ide/utils/configwin_ihm.cmo \ + ide/utils/configwin.cmo ide/config_lexer.cmo ide/preferences.cmo \ ide/ideutils.cmo ide/find_phrase.cmo \ ide/highlight.cmo ide/coq.cmo ide/coqide.cmo + COQIDECMX=$(COQIDECMO:.cmo=.cmx) COQIDEFLAGS=-I +lablgtk2 -beforedepend:: ide/find_phrase.ml ide/highlight.ml +beforedepend:: ide/config_lexer.ml ide/find_phrase.ml ide/highlight.ml FULLIDELIB=$(FULLCOQLIB)/ide IDEFILES=ide/coq.gif ide/.coqiderc @@ -468,6 +473,14 @@ ide/%.cmi: ide/%.mli ide/%.cmx: ide/%.ml $(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -c $< +ide/utils/%.cmo: ide/%.ml + $(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $< + +ide/utils/%.cmi: ide/%.mli + $(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $< + +ide/utils/%.cmx: ide/%.ml + $(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -c $< clean:: rm -f $(COQIDEBYTE) $(COQIDEOPT) |