cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
openbsd-ports/devel/stp/Makefile

51 lines
1.1 KiB
Makefile
Raw Normal View History

switch COMPILER from the old, confusing shortcuts to the more explicit format
2017-11-16 23:20:37 +00:00
# $OpenBSD: Makefile,v 1.12 2017/11/16 23:20:38 naddy Exp $
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
COMMENT= decision procedure for bit-vectors and arrays
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
GH_ACCOUNT= stp
GH_PROJECT= stp
GH_TAGNAME= stp-2.2.0
DISTNAME= stp-2.2.0
SHARED_LIBS += stp 0.0 # 2.2
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
CATEGORIES= devel
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
HOMEPAGE= https://stp.github.io/
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
# MIT license
PERMIT_PACKAGE_CDROM= Yes
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
WANTLIB += ${COMPILER_LIBCXX} boost_program_options-mt c m minisat
switch COMPILER from the old, confusing shortcuts to the more explicit format
2017-11-16 23:20:37 +00:00
COMPILER= base-clang ports-gcc
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
MODULES= devel/cmake \
lang/python
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
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
MODPY_RUNDEP= No
MODPY_VERSION= ${MODPY_DEFAULT_VERSION_3}
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
move depends to new style
2010-11-15 19:45:56 +00:00
BUILD_DEPENDS= devel/bison
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
LIB_DEPENDS= devel/boost \
math/minisat
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
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
# force-disable in case cryptominisat is imported.
CONFIGURE_ARGS= -DNOCRYPTOMINISAT:BOOL=ON
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
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
# tests depend on llvm lit
NO_TEST= Yes
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
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
post-install:
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
${INSTALL_DATA_DIR} ${PREFIX}/share/doc/stp
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
${INSTALL_DATA} ${WRKSRC}/papers/*.pdf ${PREFIX}/share/doc/stp
${MODPY_BIN} -m compileall ${WRKINST}/${MODPY_SITEPKG}
find ${PREFIX}/bin -name 'stp*' -ls
# stp-X.Y.Z ends up as ${FULLPKGNAME} in PLIST
if [ -L ${PREFIX}/bin/stp ]; then \
rm ${PREFIX}/bin/stp; \
mv ${PREFIX}/bin/stp-* ${PREFIX}/bin/stp; \
fi
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@
2009-12-17 09:43:28 +00:00
.include <bsd.port.mk>
Reference in New Issue Copy Permalink