diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 11:48:01 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 11:48:01 +0000 |
| commit | 1953de21ef74e21a814e5ea6323e25aae1ade520 (patch) | |
| tree | 26b3ac773e4d1ee2f39ac3f4a07b4f5f6266d83e /stdlib | |
| parent | 61bd8ace6bdb2652f4d51d64e3239a7105f56c26 (diff) | |
Correction nom du header des executables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index a00cd82b9..fe2f3687c 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -9,19 +9,19 @@ OBJS=pervasives.cmo string.cmo char.cmo list.cmo array.cmo sys.cmo \ baltree.cmo set.cmo stack.cmo queue.cmo \ printf.cmo format.cmo arg.cmo printexc.cmo gc.cmo -all: stdlib.cma header.exe +all: stdlib.cma cslheader install: - cp stdlib.cma *.cmi *.mli header.exe $(LIBDIR) + cp stdlib.cma *.cmi *.mli cslheader $(LIBDIR) stdlib.cma: $(OBJS) $(CAMLC) -a -o stdlib.cma $(OBJS) -header.exe: header.c ../Makefile.config +cslheader: header.c ../Makefile.config if $(SHARPBANGSCRIPTS); \ - then echo "#!$(BINDIR)/cslrun" > header.exe; \ - else $(CC) $(CCCOMPOPTS) $(CCLINKOPTS) header.c -o header.exe; \ - strip header.exe; fi + then echo "#!$(BINDIR)/cslrun" > cslheader; \ + else $(CC) $(CCCOMPOPTS) $(CCLINKOPTS) header.c -o cslheader; \ + strip cslheader; fi pervasives.cmi: pervasives.mli $(CAMLC) -nopervasives -c pervasives.mli |