You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi,
I think the instructions say that gerbil should build from a zip in the top level README.md, but the configure fails ....
❯ ./configure
fatal: Not a valid object name HEAD
fatal: 'origin' does not appear to be a git repository
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
configuration failed
Could there please be a few more points about setting up compilation via zip file to satisfy git in the configuration?
The text was updated successfully, but these errors were encountered:
I think I see the confusion and will certainly modify the docs. Thanks for pointing it out!
The Build Instructions say "After unpacking a release or checking out the source code from Github". That unpack refers to our release tarball and not the auto-generated github source trees.
If you're downloading a .zip file of the source from github it will not compile and that is not recommended. Gambit Scheme is integrated in Gerbil as a git submodule and github does not include that in their zip files. We use a very specific commit of Gambit and thus downloading their source tree and placing it in the src/gambit directory will also, likely, not be sufficient.
Hi,
I think the instructions say that gerbil should build from a zip in the top level README.md, but the configure fails ....
Could there please be a few more points about setting up compilation via zip file to satisfy git in the configuration?
The text was updated successfully, but these errors were encountered: