diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/.cvsignore | 6 | ||||
| -rw-r--r-- | tools/Makefile | 42 | ||||
| -rw-r--r-- | tools/Makefile.nt | 52 | ||||
| -rw-r--r-- | tools/dumpapprox.ml | 4 | ||||
| -rw-r--r-- | tools/dumpobj.ml | 4 | ||||
| -rw-r--r-- | tools/objinfo.ml | 4 | ||||
| -rwxr-xr-x | tools/ocamlcp (renamed from tools/cslcp) | 0 | ||||
| -rw-r--r-- | tools/ocamlcp.ml (renamed from tools/cslcp.ml) | 4 | ||||
| -rw-r--r-- | tools/ocamldep.mll (renamed from tools/csldep.mll) | 4 | ||||
| -rwxr-xr-x | tools/ocamlmktop (renamed from tools/cslmktop) | 0 | ||||
| -rw-r--r-- | tools/ocamlmktop.ml (renamed from tools/cslmktop.ml) | 4 | ||||
| -rw-r--r-- | tools/ocamlprof.ml (renamed from tools/cslprof.ml) | 4 | ||||
| -rwxr-xr-x | tools/ocamlsize (renamed from tools/cslsize) | 0 | ||||
| -rw-r--r-- | tools/profiling.ml | 4 | ||||
| -rw-r--r-- | tools/profiling.mli | 4 |
15 files changed, 68 insertions, 68 deletions
diff --git a/tools/.cvsignore b/tools/.cvsignore index 56c8c9c76..73f5ff79d 100644 --- a/tools/.cvsignore +++ b/tools/.cvsignore @@ -1,6 +1,6 @@ -csldep -csldep.ml -cslprof +ocamldep +ocamldep.ml +ocamlprof opnames.ml dumpobj dumpapprox diff --git a/tools/Makefile b/tools/Makefile index 6d89d48bb..47616bc6e 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -1,56 +1,56 @@ include ../config/Makefile -CAMLRUN=../boot/cslrun -CAMLC=$(CAMLRUN) ../boot/cslc -I ../boot -CAMLLEX=$(CAMLRUN) ../boot/csllex +CAMLRUN=../boot/ocamlrun +CAMLC=$(CAMLRUN) ../boot/ocamlc -I ../boot +CAMLLEX=$(CAMLRUN) ../boot/ocamllex INCLUDES=-I ../utils -I ../parsing -I ../typing -I ../bytecomp -I ../asmcomp COMPFLAGS=$(INCLUDES) LINKFLAGS=$(INCLUDES) -all: csldep cslprof +all: ocamldep ocamlprof # The dependency generator -CAMLDEP=csldep.cmo +CAMLDEP=ocamldep.cmo -csldep: $(CAMLDEP) - $(CAMLC) $(LINKFLAGS) -o csldep misc.cmo $(CAMLDEP) +ocamldep: $(CAMLDEP) + $(CAMLC) $(LINKFLAGS) -o ocamldep misc.cmo $(CAMLDEP) clean:: - rm -f csldep + rm -f ocamldep -csldep.ml: csldep.mll - $(CAMLLEX) csldep.mll +ocamldep.ml: ocamldep.mll + $(CAMLLEX) ocamldep.mll clean:: - rm -f csldep.ml + rm -f ocamldep.ml install:: - cp csldep $(BINDIR)/csldep + cp ocamldep $(BINDIR)/ocamldep -beforedepend:: csldep +beforedepend:: ocamldep # The profiler -CSLPROF=cslprof.cmo +CSLPROF=ocamlprof.cmo CSLPROF_IMPORTS=misc.cmo config.cmo clflags.cmo terminfo.cmo \ location.cmo longident.cmo pstream.cmo parser.cmo lexer.cmo parse.cmo -cslprof: $(CSLPROF) profiling.cmo - $(CAMLC) $(LINKFLAGS) -o cslprof $(CSLPROF_IMPORTS) $(CSLPROF) +ocamlprof: $(CSLPROF) profiling.cmo + $(CAMLC) $(LINKFLAGS) -o ocamlprof $(CSLPROF_IMPORTS) $(CSLPROF) install:: - cp cslprof $(BINDIR)/cslprof - cp cslcp $(BINDIR)/cslcp + cp ocamlprof $(BINDIR)/ocamlprof + cp ocamlcp $(BINDIR)/ocamlcp cp profiling.cmi profiling.cmo $(LIBDIR) clean:: - rm -f cslprof + rm -f ocamlprof # To make custom toplevels install:: - cp cslmktop $(BINDIR)/cslmktop + cp ocamlmktop $(BINDIR)/ocamlmktop # The bytecode disassembler @@ -106,6 +106,6 @@ clean:: rm -f *.cmo *.cmi depend: beforedepend - $(CAMLRUN) ./csldep $(INCLUDES) *.mli *.ml > .depend + $(CAMLRUN) ./ocamldep $(INCLUDES) *.mli *.ml > .depend include .depend diff --git a/tools/Makefile.nt b/tools/Makefile.nt index 88eba5139..4423970f8 100644 --- a/tools/Makefile.nt +++ b/tools/Makefile.nt @@ -1,65 +1,65 @@ !include ..\config\Makefile.nt -CAMLRUN=..\boot\cslrun -CAMLC=$(CAMLRUN) ..\boot\cslc -I ..\boot -CAMLLEX=$(CAMLRUN) ..\boot\csllex +CAMLRUN=..\boot\ocamlrun +CAMLC=$(CAMLRUN) ..\boot\ocamlc -I ..\boot +CAMLLEX=$(CAMLRUN) ..\boot\ocamllex INCLUDES=-I ..\utils -I ..\parsing -I ..\typing -I ..\bytecomp -I ..\asmcomp COMPFLAGS=$(INCLUDES) LINKFLAGS=$(INCLUDES) -all: csldep cslprof cslcp.exe cslmktop.exe +all: ocamldep ocamlprof ocamlcp.exe ocamlmktop.exe # The dependency generator -CAMLDEP=csldep.cmo +CAMLDEP=ocamldep.cmo -csldep: $(CAMLDEP) - $(CAMLC) $(LINKFLAGS) -o csldep misc.cmo $(CAMLDEP) +ocamldep: $(CAMLDEP) + $(CAMLC) $(LINKFLAGS) -o ocamldep misc.cmo $(CAMLDEP) clean:: - rm -f csldep + rm -f ocamldep -csldep.ml: csldep.mll - $(CAMLLEX) csldep.mll +ocamldep.ml: ocamldep.mll + $(CAMLLEX) ocamldep.mll clean:: - rm -f csldep.ml + rm -f ocamldep.ml install:: - cp csldep $(BINDIR)\csldep.exe + cp ocamldep $(BINDIR)\ocamldep.exe -beforedepend:: csldep +beforedepend:: ocamldep # The profiler -CSLPROF=cslprof.cmo +CSLPROF=ocamlprof.cmo CSLPROF_IMPORTS=misc.cmo config.cmo clflags.cmo terminfo.cmo \ location.cmo longident.cmo pstream.cmo parser.cmo lexer.cmo parse.cmo -cslprof: $(CSLPROF) profiling.cmo - $(CAMLC) $(LINKFLAGS) -o cslprof $(CSLPROF_IMPORTS) $(CSLPROF) +ocamlprof: $(CSLPROF) profiling.cmo + $(CAMLC) $(LINKFLAGS) -o ocamlprof $(CSLPROF_IMPORTS) $(CSLPROF) -cslcp.exe: cslcp.cmo - $(CAMLC) $(LINKFLAGS) -o cslcp.exe cslcp.cmo +ocamlcp.exe: ocamlcp.cmo + $(CAMLC) $(LINKFLAGS) -o ocamlcp.exe ocamlcp.cmo install:: - cp cslprof $(BINDIR)\cslprof.exe - cp cslcp.exe $(BINDIR)\cslcp.exe + cp ocamlprof $(BINDIR)\ocamlprof.exe + cp ocamlcp.exe $(BINDIR)\ocamlcp.exe cp profiling.cmi profiling.cmo $(LIBDIR) clean:: - rm -f cslprof cslcp.exe + rm -f ocamlprof ocamlcp.exe # To make custom toplevels -cslmktop.exe: cslmktop.cmo - $(CAMLC) $(LINKFLAGS) -o cslmktop.exe cslmktop.cmo +ocamlmktop.exe: ocamlmktop.cmo + $(CAMLC) $(LINKFLAGS) -o ocamlmktop.exe ocamlmktop.cmo install:: - cp cslmktop.exe $(BINDIR)\cslmktop.exe + cp ocamlmktop.exe $(BINDIR)\ocamlmktop.exe clean:: - rm -f cslmktop.exe + rm -f ocamlmktop.exe # The bytecode disassembler @@ -115,6 +115,6 @@ clean:: rm -f *.cmo *.cmi depend: beforedepend - $(CAMLRUN) .\csldep $(INCLUDES) *.mli *.ml > .depend + $(CAMLRUN) .\ocamldep $(INCLUDES) *.mli *.ml > .depend !include .depend diff --git a/tools/dumpapprox.ml b/tools/dumpapprox.ml index e738ff72d..214c9a382 100644 --- a/tools/dumpapprox.ml +++ b/tools/dumpapprox.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml index d2a604684..920379ea8 100644 --- a/tools/dumpobj.ml +++ b/tools/dumpobj.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/tools/objinfo.ml b/tools/objinfo.ml index ea93542f8..61300912b 100644 --- a/tools/objinfo.ml +++ b/tools/objinfo.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/tools/cslcp b/tools/ocamlcp index fd5be6665..fd5be6665 100755 --- a/tools/cslcp +++ b/tools/ocamlcp diff --git a/tools/cslcp.ml b/tools/ocamlcp.ml index 90f8caf6d..fbc4c6d65 100644 --- a/tools/cslcp.ml +++ b/tools/ocamlcp.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/tools/csldep.mll b/tools/ocamldep.mll index ed598ea89..5e1a87590 100644 --- a/tools/csldep.mll +++ b/tools/ocamldep.mll @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/tools/cslmktop b/tools/ocamlmktop index f11f85ed9..f11f85ed9 100755 --- a/tools/cslmktop +++ b/tools/ocamlmktop diff --git a/tools/cslmktop.ml b/tools/ocamlmktop.ml index aec257252..a199f9240 100644 --- a/tools/cslmktop.ml +++ b/tools/ocamlmktop.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/tools/cslprof.ml b/tools/ocamlprof.ml index 98dffd360..f649c3b6a 100644 --- a/tools/cslprof.ml +++ b/tools/ocamlprof.ml @@ -1,11 +1,11 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Damien Doligez and Francois Rouaix, INRIA Rocquencourt *) (* Ported to Caml Special Light by John Malecki *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/tools/cslsize b/tools/ocamlsize index 8904d47a2..8904d47a2 100755 --- a/tools/cslsize +++ b/tools/ocamlsize diff --git a/tools/profiling.ml b/tools/profiling.ml index 362b7d1a8..69efdb94d 100644 --- a/tools/profiling.ml +++ b/tools/profiling.ml @@ -1,11 +1,11 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Damien Doligez and Francois Rouaix, INRIA Rocquencourt *) (* Ported to Caml Special Light by John Malecki and Xavier Leroy *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/tools/profiling.mli b/tools/profiling.mli index bd9ad74a4..9d9eceb4d 100644 --- a/tools/profiling.mli +++ b/tools/profiling.mli @@ -1,11 +1,11 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Damien Doligez and Francois Rouaix, INRIA Rocquencourt *) (* Ported to Caml Special Light by John Malecki and Xavier Leroy *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) |