Bug 238376 - math/cvc4: update to 1.7
Summary: math/cvc4: update to 1.7
Status: Open
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Fernando Apesteguía
Depends on:
Reported: 2019-06-06 23:52 UTC by Greg V
Modified: 2019-06-12 17:27 UTC (History)
1 user (show)

See Also:

cvc4.patch (11.39 KB, patch)
2019-06-06 23:52 UTC, Greg V
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Greg V 2019-06-06 23:52:00 UTC
Created attachment 204867 [details]

New build system, new problems :)

This still needs some QA, but seems to work so far. I'm building openjdk8 on aarch64 to test this on there. Haven't tested in synth either yet.
Comment 1 Fernando Apesteguía freebsd_committer 2019-06-12 17:27:52 UTC
(In reply to Greg V from comment #0)
Hi Greg,

I can not build the port. It fails to configure:

-- Configuring with C flag '-pthread'
-- Configuring with CXX flag '-pthread'
-- Configuring with C flag '-pthread'
-- Configuring with CXX flag '-pthread'
-- Found CryptoMiniSat: /usr/local/include  
-- Found CryptoMiniSat libs: /usr/local/lib/libcryptominisat5.so
CMake Error at cmake/FindReadline.cmake:38 (message):
  Could not link against readline.  Check CMakeError.log for more details
Call Stack (most recent call first):
  CMakeLists.txt:435 (find_package)

Could you have a look?