diff options
| author | Pierre Boutillier | 2015-01-11 18:44:05 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2015-01-12 19:14:25 +0100 |
| commit | d797153f3e44279dd61804c3d2e75ec7892f38bf (patch) | |
| tree | 27efe617d13171da1a54a821a9e1b11a146c3085 | |
| parent | 7ab54d9135d4a4604bcb11dabd38842d746d5472 (diff) | |
typo in coqide compilation rules after -thread requirement
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 74770dabbb..f4b5a63ae1 100644 --- a/Makefile.build +++ b/Makefile.build @@ -307,7 +307,7 @@ plugins/micromega/csdpcert$(EXE): $(CSDPCERTCMO:.cmo=$(BESTOBJ)) # target to build CoqIde coqide: coqide-files coqide-binaries theories/Init/Prelude.vo -COQIDEFLAGS=$(addprefix -I , $(IDESRCDIRS)) $(COQIDEINCLUDES) -thread +COQIDEFLAGS=$(addprefix -I , $(IDESRCDIRS)) $(COQIDEINCLUDES) .SUFFIXES:.vo @@ -390,7 +390,7 @@ $(COQIDEINAPP): ide/macos_prehook.cmx $(LINKIDEOPT) | $(COQIDEAPP)/Contents $(SHOW)'OCAMLOPT -o $@' $(HIDE)$(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -o $@ \ unix.cmxa lablgtk.cmxa lablgtksourceview2.cmxa str.cmxa \ - $(IDEFLAGS:.cma=.cmxa) $^ + threads.cmxa $(IDEFLAGS:.cma=.cmxa) $^ $(STRIP) $@ $(COQIDEAPP)/Contents/Resources/share: $(COQIDEAPP)/Contents |