diff options
| author | glondu | 2011-01-11 19:12:10 +0000 |
|---|---|---|
| committer | glondu | 2011-01-11 19:12:10 +0000 |
| commit | 323edea04a7af5f3fa7745cef5130362f494354a (patch) | |
| tree | 9c47f78aa2ebb393faed79b8ad44e2ae9106ec41 /_tags | |
| parent | f661bda0849b0a3008e4dc1bba66addd0f84a571 (diff) | |
Fix ocamlbuild-based build system
Caveat: in native code, if the executable is a symlink,
Sys.executable_name points to the target of the symlink... this breaks
coqide's way of locating coqtop. Workaround: make bin/coqide.opt a
hardlink (or a copy) instead of a symlink.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13790 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '_tags')
| -rw-r--r-- | _tags | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -8,6 +8,7 @@ <tools/coq_tex.{native,byte}> : use_str <tools/coq_makefile.{native,byte}> : use_str <tools/coqdoc/main.{native,byte}> : use_str +<ide/coqide_main.{native,byte}> : use_str, use_unix, thread, ide, use_dynlink, use_camlp4, use_libcoqrun <checker/main.{native,byte}> : use_str, use_unix, use_dynlink, use_camlp4 <plugins/micromega/csdpcert.{native,byte}> : use_nums, use_unix |