Re: [Sks-devel] [Announce] SKS 1.1.3 Released

[John Clizbe]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1,SHA256

Phil Pennock wrote:
> On 2012-04-10 at 22:00 -0500, John Clizbe wrote:
>> We are pleased to announce the availability of a new SKS release:
>> Version 1.1.3.
> 
> Anyone able to point me easily at what I'm doing wrong with this build?
> 
> % gmake
> [...]
> ocamlopt -I lib -I bdb -ccopt -Lbdb -dtypes -ccopt -pthread -ccopt -pg
- -warn-error A -inline 40 unix.cmxa str.cmxa bdb.cmxa nums.cmxa bigarray.cmxa
cryptokit.cmxa -c pSet.ml
> File "pSet.ml", line 1, characters 0-1:
> Error: Could not find the .cmi file for interface pSet.mli.
> gmake: *** [pSet.cmx] Error 2

make dep

I just verified I was able to cause the same error by removing .depend.
It worked normally again after ' make dep'.

- -John

- -- 
John P. Clizbe                      Inet: John (a) Gingerbear DAWT net
John (@) Enigmail DAWT net            or: John (@) Keyservers DAWT net
FSF Assoc #995 / FSFE Fellow #1797  hkp://keyserver.gingerbear.net  or
     mailto:address@hidden

               Cowboy Haiku -- Reflections on Rodeo
So many Cowboys/Round Wrangler butts drive me nuts/Never enough rope


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12-git-509fe4ce-2012-01-31 (Windows XP)
Comment: When cryptography is outlawed, bayl bhgynjf jvyy unir cevinpl!
Comment: Be part of the £€€7 ECHELON -- Use Strong Encryption.
Comment: It's YOUR right - for the time being.
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJPhSc0AAoJECMTMVxDW9A0l3QIAIn1A2WOHgC78gUlLeOFDxxf
y1x8euKvH44dK5xnclMOe6FJ213/TEGPp0NXBd2IODCx/PbBaikGub8+7VKeGWoC
oB+Yd3SL6jEiyYcfmiaxEdoVRovc2Rmng42Xm9A0MNikBgwwuofPm7GiYJ66+DOt
vtKndr4Y10gguoFtEa7cEPdTZIjvEgiIX/nVNHRkUGjCt8Vl25lazmu0c/SSTEBH
Z0ds5e+WXI1J+cFD8RX49ujYrRVHiDbei73dZ1icRBLDF9emBhXVrpdOnBtjUKhK
ZK4ReFhiFqQfwys0iBIp+fyFsOavDk4/7RI2lKQ8TGTRG+yabIEhT90DA8qEIpaI
XgQBEQgABgUCT4UnNAAKCRDrXhnz1laYJfHAAP9PeBCI4tpHXdwnuunOMUKp2k3G
co+CYtKqqZ9W/Y5MiAD/cQ0O/yF2CRMe5hVU7HJ5OJwbKzWUl8tPe7KDyIaI1OU=
=y27e
-----END PGP SIGNATURE-----