search

ISANobody / sill

29 stars 3 forks source link

update opam libraries #1

Open hgommers opened 7 years ago

hgommers commented 7 years ago

The installation instructions no longer work!

A few libraries are now deprecated and so are all the .syntax extensions. The fix:

(1) opam install these: pa_sexp_conv, pa_bin_prot, pa_monad_custom

(2) In the sill directory, change ALL occurrences of the old libraries (ie sexplib.syntax) to the above libraries. Make sure you change the _tags file and the files in the opam directory.

ISANobody commented 7 years ago

Oh dear. I didn't know anyone still used this. Do you want to issue a pull request?

ISANobody commented 7 years ago

I'll take a look Sunday morning.

hgommers commented 7 years ago

It's fixed now, but I think it's a hacky fix. I edited files that seemed to have been generated by oasis and said "do not edit". I can send you my files if that would help -- sill now runs on my machine just fine.

On Fri, Sep 29, 2017 at 4:07 PM, ISANobody notifications@github.com wrote:

I'll take a look Sunday morning.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/ISANobody/sill/issues/1#issuecomment-333226205, or mute the thread https://github.com/notifications/unsubscribe-auth/AF_oK0MAOLvAAF-LAfu4dBiz0eU3FHzVks5snU34gaJpZM4PpJ60 .

ISANobody commented 7 years ago

That sounds pretty good to me. I think I had to do that once to fix some strange issue Frank had, but I'll hopefully be able to get the README working again.

hgommers commented 7 years ago

I've attached my​ sill.tar https://drive.google.com/file/d/0B7T3Y0BElg48SzZ4QWthaFVrX2c/view?usp=drive_web ​ files in case they are useful.

On Fri, Sep 29, 2017 at 4:15 PM, ISANobody notifications@github.com wrote:

That sounds pretty good to me. I think I had to do that once to fix some strange issue Frank had, but I'll hopefully be able to get the README working again.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/ISANobody/sill/issues/1#issuecomment-333228048, or mute the thread https://github.com/notifications/unsubscribe-auth/AF_oK-U1aPgYOD9-bl1n9RxnbaYXUwMkks5snU_jgaJpZM4PpJ60 .