jca f0d8efcc0f Update to a newer release which does builds with clang. ...

- now depends on boost and minisat
- ships with a shared library and a python3 module
- new cmake build system
- set COMPILER = gcc, a c++11 compiler is needed (but there's a link
  problem against boost with lang/gcc on amd64)

2017-08-21 07:03:10 +00:00

..

patches

Update to a newer release which does builds with clang.

2017-08-21 07:03:10 +00:00

pkg

Update to a newer release which does builds with clang.

2017-08-21 07:03:10 +00:00

distinfo

Update to a newer release which does builds with clang.

2017-08-21 07:03:10 +00:00

Makefile

Update to a newer release which does builds with clang.

2017-08-21 07:03:10 +00:00