Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocaml-extlib build issues #537

Closed
TheSin- opened this issue Dec 17, 2019 · 7 comments
Closed

ocaml-extlib build issues #537

TheSin- opened this issue Dec 17, 2019 · 7 comments

Comments

@TheSin-
Copy link
Member

TheSin- commented Dec 17, 2019

env LANG=C LC_ALL=C /opt/sw/bin/tar  --no-same-owner --no-same-permissions -xf /opt/src/extlib-1.5.3.tar.gz
sudo -u fink-bld [ENV] sh -c /tmp/fink.mmUt8
touch odoc_style.css
mkdir out
ocaml install.ml -b -n -doc -d out
File "command line", line 1:
Error: Unbound module Pervasives
### execution of ocaml failed, exit code 2
@TheSin-
Copy link
Member Author

TheSin- commented Dec 17, 2019

sudo dpkg --force-all -i /opt/sw/fink/dists/stable/main/binary-darwin-x86_64/languages/ocaml_4.03.0-2_darwin-x86_64.deb

fixes it, it's cause ocaml-findlib overwrites %p/lib/ocaml

So this issue is directly related to #538

@TheSin-
Copy link
Member Author

TheSin- commented Dec 17, 2019

This package also installs improperly, here is my working version.

I can commit it if everyone is okay with it.

PatchScript: <<
  perl -pi -e 's,ocamlfind install,ocamlfind install -destdir=build,g' Makefile
<<
CompileScript: <<
  make
  make cmxs
  make doc
<<
InstallScript: <<
  mkdir build
  make install
  mkdir -p %i/lib/site-lib
  mv build/* %i/lib/site-lib/
  mkdir -p %i/share/doc
  mv doc %i/share/doc/ocaml-lib
<<

@nieder
Copy link
Member

nieder commented Dec 20, 2019

Does 46bad2a fix the build problem? Or does it still need the modified *Script changes?
Should it be updated to something newer than 5 years old? Or is the rest of the ocaml stack too old?

@TheSin-
Copy link
Member Author

TheSin- commented Dec 20, 2019

I think the findlib issue fix should fix this I'll test it tomorrow.

@nieder
Copy link
Member

nieder commented Jan 5, 2020

@TheSin- ping? did the fix work with findlib?

@TheSin-
Copy link
Member Author

TheSin- commented Jan 5, 2020

Shoot sorry I forgot to reply, it did indeed work just did my second install with it and it wasn’t an issue at all

@nieder
Copy link
Member

nieder commented Jan 7, 2020

Thanks

@nieder nieder closed this as completed Jan 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants