Skip to content

yices2.0.0.2 - via opam-publish #9086

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 3 commits into from
May 5, 2017
Merged

yices2.0.0.2 - via opam-publish #9086

merged 3 commits into from
May 5, 2017

Conversation

@maelvls
Copy link
Contributor

@maelvls maelvls commented May 4, 2017 •
edited
Loading

Yices2 SMT solver binding

Yices is a Satisfiability Modulo Theories (SMT) solver from SRI.
It is available freely for non-commercial purposes.
License terms: http://yices.csl.sri.com/yices-newnewlicense.html

Pull-request generated by opam-publish v0.3.4
@camelus
Copy link
Contributor

camelus commented May 4, 2017 •
edited
Loading

✅ All lint checks passed 472e339
  • These packages passed lint tests: yices2.0.0.2
✅ Installability check (6608 → 6609)
  • new installable packages (1): yices2.0.0.2
@maelvls maelvls changed the title yices2.0.0.2 - via opam-publish May 4, 2017
maelvls added 2 commits May 5, 2017 11:01
@maelvls
fixed the 'install-sh' race condition on alpine 3.5
6005828 
The install-sh was outdated (version of 2004) and had a bug when running
make -j.

See AC_PROG_MKDIR_P in the autoconf manual
@maelvls
fixed ssize_t not known on alpine 3.5
472e339 
I just had to include <unistd.h>
@maelvls
Copy link
Contributor Author

maelvls commented May 5, 2017

I am stuck, I cannot pass the tests 😥

CentOS 7 with opam-2.0~dev fails to install ocamlfind.1.3.2. The error mentions something about dllunix.so having missing symbols:

# Reason: /home/opam/.opam/ocaml-base-compiler.4.03.0/lib/ocaml/stublibs/dllunix.so: undefined symbol: caml_strdup
@samoht
Copy link
Member

samoht commented May 5, 2017

These look like infrastructure errors so I'm happy to merge. Can you change the title of that PR?
@maelvls maelvls changed the title (do not publish yet) yices2.0.0.2 - via opam-publish May 5, 2017
@maelvls
Copy link
Contributor Author

maelvls commented May 5, 2017

That was a fast answer!! 👍

Sure, you can!
@samoht samoht merged commit 0ca9c95 into ocaml:master May 5, 2017
@maelvls maelvls mentioned this pull request May 8, 2017
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants

@maelvls @camelus @samoht