CVSROOT: /cvs
Module name: ports
Changes by: j...@cvs.openbsd.org 2017/08/21 01:03:10
Modified files:
devel/stp : Makefile distinfo
devel/stp/pkg : DESCR PLIST
Added files:
devel/stp/patches: patch-lib_Interface_CMakeLists_txt
patch-lib_Parser_CMakeLists_txt
patch-lib_Util_CMakeLists_txt
Removed files:
devel/stp/patches: patch-configure
Log message:
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)
