diff options
| author | monate | 2003-03-06 19:16:31 +0000 |
|---|---|---|
| committer | monate | 2003-03-06 19:16:31 +0000 |
| commit | ff05f4ed59b3b77e6d77ae9b0cd0785f46c971a6 (patch) | |
| tree | 31a3aba7e99273beb11aa940171916be49ff1621 /Makefile | |
| parent | 59cfe64fc355ac910d3c795cec08ecc97c77589d (diff) | |
coqide: fenetre de cmmandes . undo correct
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3747 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -445,9 +445,10 @@ 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/undo.cmo ide/find_phrase.cmo \ + ide/ideutils.cmo ide/undo.cmo \ + ide/find_phrase.cmo \ ide/highlight.cmo ide/coq.cmo ide/coq_commands.cmo \ - ide/coq_tactics.cmo ide/coqide.cmo + ide/coq_tactics.cmo ide/command_windows.cmo ide/coqide.cmo COQIDECMX=$(COQIDECMO:.cmo=.cmx) COQIDEFLAGS=-I +lablgtk2 @@ -466,19 +467,19 @@ $(COQIDEBYTE): $(COQMKTOP) $(CMO) $(USERTACCMO) $(COQIDECMO) $(COQMKTOP) -g -ide -top $(COQIDEFLAGS) lablgtk.cma $(LOCALINCLUDES) $(CAMLDEBUG) -o $@ $(COQIDECMO) ide/%.cmo: ide/%.ml - $(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $< + $(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $< ide/%.cmi: ide/%.mli - $(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $< + $(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $< ide/%.cmx: ide/%.ml $(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -c $< ide/utils/%.cmo: ide/%.ml - $(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $< + $(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $< ide/utils/%.cmi: ide/%.mli - $(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $< + $(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $< ide/utils/%.cmx: ide/%.ml $(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -c $< |