Biocaml Install Issue

12 views
Skip to first unread message

Nevin Katz

unread,
Mar 28, 2014, 2:39:26 PM3/28/14
to bio...@googlegroups.com
Hi all, 

I have been attempting to install Biocaml for use in a final project for a course I am taking.  I've found that upon running through the install steps (clone -> pin -> install), terminal throws some errors that prevent installation. My error output is attached and any insight is appreciated.  Thanks!

Nevin
biocaml-install-output.txt

Sebastien Mondet

unread,
Mar 28, 2014, 2:46:17 PM3/28/14
to bio...@googlegroups.com

Hi Nevin


What (kind of) operating system are you using?
Both errors look like c-compiler/linker problems.

Cheers
Seb




 


--
You received this message because you are subscribed to the Google Groups "biocaml" group.
To unsubscribe from this group and stop receiving emails from it, send an email to biocaml+u...@googlegroups.com.
To post to this group, send email to bio...@googlegroups.com.
Visit this group at http://groups.google.com/group/biocaml.
To view this discussion on the web visit https://groups.google.com/d/msgid/biocaml/56f593d4-2f69-4bfe-a1bf-7b55314c02da%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Katz, Nevin

unread,
Mar 28, 2014, 2:55:16 PM3/28/14
to bio...@googlegroups.com
Hi Sebastien, 

Thanks for the speedy reply!  I am using the standard virtual machine for my course, the CS50 Appliance.  It is based on a Fedora, Linux-based system but has been customized for the course I am taking.   Additional information: oddly I find that when I try to run biocaml it also affects Emacs, in that the filepath to utop no longer works - so after my attempt I normally have to re-run the appliance's setup script. 


Let me know if you have any additional insight.  Thanks!

Nevin




--
You received this message because you are subscribed to a topic in the Google Groups "biocaml" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/biocaml/zVBjfaRn7e4/unsubscribe.
To unsubscribe from this group and all its topics, send an email to biocaml+u...@googlegroups.com.

To post to this group, send email to bio...@googlegroups.com.
Visit this group at http://groups.google.com/group/biocaml.

Sebastien Mondet

unread,
Mar 28, 2014, 3:18:42 PM3/28/14
to bio...@googlegroups.com

Last time I had that kind of strange errors, it was just the hard-disk partition that was full, did you check that?

If not you should check the the `config.log` of ocaml-ssl
(I guess in
/home/jharvard/.opam/system/build/ssl.0.4.6)






Katz, Nevin

unread,
Mar 28, 2014, 3:24:38 PM3/28/14
to bio...@googlegroups.com
Thanks!  I'll check out both. 

Nevin


Reply all
Reply to author
Forward
0 new messages