Re: [Sks-devel] 1.0.5 released

[Yaron M. Minsky]

You've got a mix of an old build and a new build getting confused. 
Either delete the directory and start from scratch or do a "make
cleanall" before the next build.  

y

On Sun, 2003-11-30 at 17:26, Thomas Sjögren wrote:
> On Sun, Nov 30, 2003 at 04:58:49PM -0500, Yaron M. Minsky wrote:
> > SKS 1.0.5 requires ocaml 3.07.  You can get it here:
> 
> I thought so, but README hadn't changed so i gave it a shot.
> Anyway, updating the debian Ocaml-packages didn't help.
> 
> This is the result on a Debian stable using the Ocaml-packages from
> unstable:
> The files /usr/lib/ocaml/3.07/pervasives.cmi and lib/numerix.cmi
> make inconsistent assumptions over interface Pervasives
> make: *** [number.cmx] Error 2
> 
> This is the result on a Debian unstable using the latest packages, same
> as the one running Debian stable:
> ocamlc -g -c  cryptokit.ml
> File "cryptokit.ml", line 16, characters 0-8:
> Unbound module Nat
> make[1]: *** [cryptokit.cmo] Fel 2
> make[1]: Leaving directory
> `/home/thomas/.safe/downloads/temp/sks/sks-1.0.5/cryptokit-1.0'
> make: *** [cryptokit-1.0/cryptokit.cma] Fel 2
> 
> dpkg -l ocaml*|grep ii
> ii  ocaml          3.07.2a-1      ML language implementation with a
> class-base
> ii  ocaml-base     3.07.2a-1      Runtime system for ocaml bytecode
> executable
> ii  ocaml-native-c 3.07.2a-1      Native code compilers of the ocaml
> suite (th
> 
> It seems the debian-packages are broken?
> 
> /Thomas
-- 
|--------/            Yaron M. Minsky              \--------|
|--------\ http://www.cs.cornell.edu/home/yminsky/ /--------|

Open PGP --- KeyID B1FFD916
Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916