diff --git a/.depend b/.depend index 4373c5e57..e91e5852d 100644 --- a/.depend +++ b/.depend @@ -286,7 +286,7 @@ asmcomp/arch_mips.cmx: utils/misc.cmx asmcomp/arch_sparc.cmo: utils/misc.cmi asmcomp/arch_sparc.cmx: utils/misc.cmx asmcomp/asmgen.cmo: utils/clflags.cmo asmcomp/closure.cmi asmcomp/cmm.cmi \ - asmcomp/cmmgen.cmi asmcomp/coloring.cmi asmcomp/emit.cmi \ + asmcomp/cmmgen.cmi asmcomp/coloring.cmi utils/config.cmi asmcomp/emit.cmi \ asmcomp/emitaux.cmi asmcomp/interf.cmi asmcomp/linearize.cmi \ asmcomp/liveness.cmi utils/misc.cmi asmcomp/printcmm.cmi \ asmcomp/printlinear.cmi asmcomp/printmach.cmi asmcomp/proc.cmi \ @@ -294,7 +294,7 @@ asmcomp/asmgen.cmo: utils/clflags.cmo asmcomp/closure.cmi asmcomp/cmm.cmi \ asmcomp/selection.cmi asmcomp/spill.cmi asmcomp/split.cmi \ asmcomp/asmgen.cmi asmcomp/asmgen.cmx: utils/clflags.cmx asmcomp/closure.cmx asmcomp/cmm.cmx \ - asmcomp/cmmgen.cmx asmcomp/coloring.cmx asmcomp/emit.cmx \ + asmcomp/cmmgen.cmx asmcomp/coloring.cmx utils/config.cmx asmcomp/emit.cmx \ asmcomp/emitaux.cmx asmcomp/interf.cmx asmcomp/linearize.cmx \ asmcomp/liveness.cmx utils/misc.cmx asmcomp/printcmm.cmx \ asmcomp/printlinear.cmx asmcomp/printmach.cmx asmcomp/proc.cmx \ @@ -403,10 +403,18 @@ asmcomp/proc_i386.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi asmcomp/mach.cmi \ utils/misc.cmi asmcomp/reg.cmi asmcomp/proc_i386.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/mach.cmx \ utils/misc.cmx asmcomp/reg.cmx +asmcomp/proc_i386nt.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi asmcomp/mach.cmi \ + utils/misc.cmi asmcomp/reg.cmi +asmcomp/proc_i386nt.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/mach.cmx \ + utils/misc.cmx asmcomp/reg.cmx asmcomp/proc_mips.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi asmcomp/mach.cmi \ utils/misc.cmi asmcomp/reg.cmi asmcomp/proc_mips.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/mach.cmx \ utils/misc.cmx asmcomp/reg.cmx +asmcomp/proc_power.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi utils/config.cmi \ + asmcomp/mach.cmi utils/misc.cmi asmcomp/reg.cmi +asmcomp/proc_power.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx utils/config.cmx \ + asmcomp/mach.cmx utils/misc.cmx asmcomp/reg.cmx asmcomp/proc_sparc.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi utils/config.cmi \ asmcomp/mach.cmi utils/misc.cmi asmcomp/reg.cmi asmcomp/proc_sparc.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx utils/config.cmx \ diff --git a/Changes b/Changes index 44fc3e92b..a986b29b9 100644 --- a/Changes +++ b/Changes @@ -1,3 +1,30 @@ +Release 1.15: +------------- + +* Caml Special Light now runs under Windows NT and 95. Many thanks to +Kevin Gallo (Microsoft Research) who contributed his initial port. + +* csllex now generates tables for a table-driven automaton. +The resulting lexers are smaller and run faster. + +* Completely automatic configuration script. + +* Typing: more stringent checking of module type definitions against +manifest module type specifications. + +* Toplevel: recursive definitions of values now working. + +* Native-code compiler, all platforms: + toplevel "let"s with refutable patterns now working; + fixed bug in assignment to float record fields. + +* Native-code compiler, x86: fixed bug with tail calls (with more than +4 arguments) from a function with a one-word stack frame. + +* Native-code compiler, Sparc: problem with -compact fixed. + +* Thread library: support for non-blocking writes; scheduler revised. + Release 1.14: ------------- diff --git a/LICENSE b/LICENSE index 6b6ad8bbb..f8976308d 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ LEGAL NOTICE -Software: Caml Special Light, version 1.13 of January 1996, +Software: Caml Special Light, version 1.15 of March 1996, hereinafter referred to as "the software". The software has been designed and produced by Xavier Leroy and Damien diff --git a/README.win32 b/README.win32 index d7b078111..92ecc3799 100644 --- a/README.win32 +++ b/README.win32 @@ -11,19 +11,15 @@ The base bytecode system (cslc, csltop, csllex, cslyacc, ...) runs without any additional tools. Linking Caml bytecode with C code (cslc -custom) requires the -Microsoft Visual C++ compiler version 4.0. +Microsoft Visual C++ compiler. -The native-code compiler (cslopt) requires Visual C++ version 4.0 -and the Microsoft assembler MASM version 5. - -The cslmktop and cslcp commands are Bourne shell scripts. -They can be run with the Korn shell available at -ftp://ftp.winsite.com/pub/pc/winnt/misc/ntsh01.zip. +The native-code compiler (cslopt) requires Visual C++ and the +Microsoft assembler MASM version 5. INSTALLATION: -The binary distribution consists of a .zip archive file. This .zip +The binary distribution consists in a .zip archive file. This .zip contains long filenames and cannot therefore be unpacked with pkunzip version 2. Use either Winzip (shareware) or the NT/95 version of unzip (freeware): @@ -104,7 +100,7 @@ Unix system calls and require considerable work to run under Win32. CREDITS: The initial port of Caml Special Light to Windows NT was done by Kevin -Gallo at Microsoft Research, who kindly contributed its changes to the +Gallo at Microsoft Research, who kindly contributed his changes to the Caml Special Light project. The graphical user interface for the toplevel is due to Jean-Marie