diff options
| author | letouzey | 2012-08-23 12:52:52 +0000 |
|---|---|---|
| committer | letouzey | 2012-08-23 12:52:52 +0000 |
| commit | 7f11dda679a72f7eccbe4540d269c1218cd48780 (patch) | |
| tree | 8b84d12b25fda930024861ab03cae215ac588e31 | |
| parent | 12def92b4cecdbe2fc8242bc451f4ee0d86c0eb8 (diff) | |
myocamlbuild : fixes for new printing directory + sourceview for coqide
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15754 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | myocamlbuild.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/myocamlbuild.ml b/myocamlbuild.ml index 9bfe6995a4..d6042b7c31 100644 --- a/myocamlbuild.ml +++ b/myocamlbuild.ml @@ -106,8 +106,8 @@ let _build = Options.build_dir let core_libs = ["lib/clib"; "lib/lib"; "kernel/kernel"; "library/library"; "pretyping/pretyping"; "interp/interp"; "proofs/proofs"; - "parsing/parsing"; "tactics/tactics"; "toplevel/toplevel"; - "parsing/highparsing"; "tactics/hightactics"] + "printing/printing"; "parsing/parsing"; "tactics/tactics"; + "toplevel/toplevel"; "parsing/highparsing"; "tactics/hightactics"] let core_cma = List.map (fun s -> s^".cma") core_libs let core_cmxa = List.map (fun s -> s^".cmxa") core_libs let core_mllib = List.map (fun s -> s^".mllib") core_libs @@ -329,8 +329,10 @@ let extra_rules () = begin flag ["link"; "ocaml"] (S [A"-rectypes"; camlp4incl]); flag ["ocaml"; "ide"; "compile"] lablgtkincl; flag ["ocaml"; "ide"; "link"] lablgtkincl; - flag ["ocaml"; "ide"; "link"; "byte"] (S [A"lablgtk.cma"; A"gtkThread.cmo"]); - flag ["ocaml"; "ide"; "link"; "native"] (S [A"lablgtk.cmxa"; A"gtkThread.cmx"]); + flag ["ocaml"; "ide"; "link"; "byte"] + (S [A"lablgtk.cma"; A"lablgtksourceview2.cma"; A"gtkThread.cmo"]); + flag ["ocaml"; "ide"; "link"; "native"] + (S [A"lablgtk.cmxa"; A"lablgtksourceview2.cmxa"; A"gtkThread.cmx"]); (** C code for the VM *) |