diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-03-04 10:21:27 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-03-04 10:21:27 +0000 |
| commit | 73fafe47ff92b87fad1e887c5302d19fa31d37bb (patch) | |
| tree | 8305c515f8baa292fedfb9879f7cefb2ca01be36 | |
| parent | 3693be4981358f57834eaabb1da2ceef6f68945c (diff) | |
Dans header.c, visser en dur le chemin $(BINDIR)/ocamlrun
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/Makefile | 5 | ||||
| -rw-r--r-- | stdlib/header.c | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 9c8fd6bf7..217c987a0 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -35,8 +35,9 @@ stdlib.cmxa: $(OBJS:.cmo=.cmx) camlheader: header.c ../config/Makefile if $(SHARPBANGSCRIPTS); \ then echo "#!$(BINDIR)/ocamlrun" > camlheader; \ - else $(BYTECC) $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) header.c -o camlheader; \ - strip camlheader; fi + else $(BYTECC) $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) '-DRUNTIME_NAME="$(BINDIR)/ocamlrun"' header.c -o camlheader; \ + strip camlheader; \ + fi clean:: rm -f camlheader diff --git a/stdlib/header.c b/stdlib/header.c index 3a8797002..9c31e8f7a 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -11,7 +11,7 @@ /* $Id$ */ -char * runtime_name = "ocamlrun"; +char runtime_name [] = RUNTIME_NAME; char errmsg [] = "Cannot exec ocamlrun.\n"; int main(argc, argv) |