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

Bug#467563: camlp5 strict mode?

Le 28/02/2012 09:21, Hendrik Tews a écrit :
> I just noticed that camlp5 from Debian cannot compile hol-light,
> because the latter requires a strict camlp5 (with configure -strict). 
> Has it ever be considered adding a Debian package for a strict
> camlp5?

See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=467563

I haven't looked/thought at it myself.



Reply to: