Package: planets
Version: 0.1.13-13
Severity: serious
Compilation of planets with ocaml 4.01.1 fails:
/usr/bin/make planets.bc
make[2]: Entering directory
`/home/rt/debian/packages/pkg-ocaml-maint.git/build-area/planets-0.1.13'
ocamlc -I +labltk -pp camlp4o unix.cma str.cma labltk.cma -cclib -lunix -c
augSet.ml
ocamlc -I +labltk -pp camlp4o unix.cma str.cma labltk.cma -cclib -lunix -c
augMap.ml
ocamlc -I +labltk -pp camlp4o unix.cma str.cma labltk.cma -cclib -lunix -c
mTimer.ml
ocamlc -I +labltk -pp camlp4o unix.cma str.cma labltk.cma -cclib -lunix -c
common.ml
ocamlc -I +labltk -pp camlp4o unix.cma str.cma labltk.cma -cclib -lunix -c
lstrings.ml
ocamlc -I +labltk -pp camlp4o unix.cma str.cma labltk.cma -cclib -lunix -c
options.ml
File "options.ml", line 96, characters 6-28:
Error: In this definition, a type variable cannot be deduced
from the type parameters.
make[2]: *** [options.cmo] Error 2
-Ralf.
-- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 3.11-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL
set to en_US.utf8)
Shell: /bin/sh linked to /bin/dash
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
