[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#731273: marked as done (FTBFS with ocaml 4.01.0)

Your message dated Mon, 9 Dec 2013 15:17:20 +0100
with message-id <20131209141720.GA5325@pps.univ-paris-diderot.fr>
and subject line close
has caused the Debian Bug report #731273,
regarding FTBFS with ocaml 4.01.0
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
731273: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731273
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
Version: 0.1.13-14

this bug is closed with the upload of 0.1.13-14, the bug number given
in the changelog is wrong.

-Ralf.

--- End Message ---
Reply to: