[MLton-devel] Re: MLton debian package

Barak Pearlmutter bap@cs.unm.edu
Sun, 14 Apr 2002 15:18:26 -0600


It seems that the "compile with previous versions" hack doesn't 100%
work.  See below.  Removing the '-host self' fixes the invocation
problem, but something flubs later on, also shown below.

I've got a couple minor Makefile hacks too, so "make install" won't
undo stuff done by "make all", and to make "make install" idempotent,
and stuff like that.  Do these seem like reasonable goals?  It would
be nice for me to not have to patch the Makefile upon each upstream
release.

Another question: should I again flush the included gmp4 and keep
linking with whatever gmp is distributed with the OS, in the case of
Debian that being gmp3, or are gmp4 features actually necessary?

					--Barak.

----------------------------------------------------------------

~/tmp/mlton-20020410 $ make
make compiler dirs
make[1]: Entering directory `/home/bap/tmp/mlton-20020410'
cd /home/bap/tmp/mlton-20020410/mlton && make
make[2]: Entering directory `/home/bap/tmp/mlton-20020410/mlton'
Compiling mlton (takes a while)
time mlton @MLton gc-summary -- -host self -v -o mlton-compile mlton-stubs.cm
invalid switch: -host
usage: mlton [option ...] file.{cm|sml|c|o} [file.{S|o} ...] [library ...]
    -detect-overflow {true|false} overflow checking on integer arithmetic
    -Ddefine                      define compile-time constant
    -exn-history {false|true}     enable Exn.history
    -h heapSize [{k|m}]           heap size used by resulting executable
    -ieee-fp {false|true}         use strict IEEE floating-point
    -include file.h               include a .h file
    -inline n                     inlining threshold
    -Idir                         search dir for include files
    -keep {cps|dot|g|o|sml}       save intermediate files
    -llibrary                     link with library
    -Ldir                         search dir for libraries
    -native {true|false}          use native x86 code generator
    -polyvariance {true|false}    use polyvariance
    -o file                       name of output file
    -p                            produce executable suitable for profiling
    -safe {true|false}            bounds checking and other checks
    -show-basis                   display the basis library
    -static                       produce a statically linked executable
    -stop {f|g|o|sml}             where to stop
    -v[0123]                      how verbose to be about compiler passes
max semispace size(bytes): 22,597,632
max stack size(bytes): 0
GC time(ms): 0 (0.0%)
maxPause(ms): 0
number of GCs: 0
bytes allocated: 23,608
bytes copied: 0
max bytes live: 0
Command exited with non-zero status 1
0.01user 0.02system 0:00.03elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (393major+749minor)pagefaults 0swaps
make[2]: *** [mlton-compile] Error 1
make[2]: Leaving directory `/home/bap/tmp/mlton-20020410/mlton'
make[1]: *** [compiler] Error 2
make[1]: Leaving directory `/home/bap/tmp/mlton-20020410'
make: *** [all] Error 2

----------------------------------------------------------------

~/src/mlton $ make
make compiler dirs
make[1]: Entering directory `/home/bap/src/mlton'
cd /home/bap/src/mlton/mlton && make
make[2]: Entering directory `/home/bap/src/mlton/mlton'
Compiling mlton (takes a while)
time mlton @MLton gc-summary -- -v -o mlton-compile mlton-stubs.cm
MLton starting
   Compile SML starting
      pre codegen starting
         gcc -DNODEBUG -DMLton_safe=TRUE -DExn_keepHistory=FALSE \
             -DMLton_detectOverflow=TRUE -I/usr/lib/mlton/include -o \
             /tmp/fileZup27A /tmp/fileDo76zO.c -L/usr/lib/mlton/lib -lmlton \
             -lm -lgmp
         /tmp/fileZup27A /tmp/fileX05SnE
      pre codegen finished in 100.33 + 74.70 (43% GC)
      x86 code gen starting
      x86 code gen raised in 63.89 + 20.70 (24% GC)
   Compile SML raised in 164.22 + 95.40 (37% GC)
MLton raised in 164.30 + 95.40 (37% GC)
mlton: x86GenerateTransfers.generateTransfers::x86LiveTransfers.computeLiveTransfers::?
max semispace size(bytes): 447,832,064
max stack size(bytes): 8,404,992
GC time(ms): 95,400 (36.7%)
maxPause(ms): 3,630
number of GCs: 63
bytes allocated: 18,611,031,332
bytes copied: 5,308,671,056
max bytes live: 232,686,140
Command exited with non-zero status 1
254.38user 5.53system 4:25.25elapsed 97%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (2860major+576963minor)pagefaults 0swaps
make[2]: *** [mlton-compile] Error 1
make[2]: Leaving directory `/home/bap/src/mlton/mlton'
make[1]: *** [compiler] Error 2
make[1]: Leaving directory `/home/bap/src/mlton'
make: *** [all] Error 2

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel