Index: head/math/vampire/Makefile =================================================================== --- head/math/vampire/Makefile (nonexistent) +++ head/math/vampire/Makefile (revision 510141) @@ -0,0 +1,31 @@ +# $FreeBSD$ + +PORTNAME= vampire +DISTVERSION= 4.4 +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Automatic theorem prover + +LICENSE= BSD2CLAUSE +xLICENSE_FILE= ${WRKSRC}/LICENSE + +USES= gmake +USE_GITHUB= yes +GH_ACCOUNT= vprover + +ALL_TARGET= vampire_rel # do we also need the z3 target? + +BINARY_ALIAS= g++=${CXX} + +CXXFLAGS+= -DCHECK_LEAKS=0 +MAKE_ARGS= FREEBSD_VERSION_NUMBER="${PORTVERSION}" + +#MAKE_ARGS= GNUMPF=1 # This causes compillation failure, additionally GitHub failed to create the issue for this project. + +PLIST_FILES= bin/${PORTNAME} + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/${ALL_TARGET}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME} + +.include Property changes on: head/math/vampire/Makefile ___________________________________________________________________ Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:keywords ## -0,0 +1 ## +FreeBSD=%H \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/vampire/distinfo =================================================================== --- head/math/vampire/distinfo (nonexistent) +++ head/math/vampire/distinfo (revision 510141) @@ -0,0 +1,3 @@ +TIMESTAMP = 1567051355 +SHA256 (vprover-vampire-4.4_GH0.tar.gz) = 43f09743a3a505ec8d8ac6fb60420915d56c4164be3caab728d7856a4f2ace8d +SIZE (vprover-vampire-4.4_GH0.tar.gz) = 1748193 Property changes on: head/math/vampire/distinfo ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/vampire/files/patch-Lib_Portability.hpp =================================================================== --- head/math/vampire/files/patch-Lib_Portability.hpp (nonexistent) +++ head/math/vampire/files/patch-Lib_Portability.hpp (revision 510141) @@ -0,0 +1,16 @@ +--- Lib/Portability.hpp.orig 2018-12-01 20:14:14 UTC ++++ Lib/Portability.hpp +@@ -25,11 +25,11 @@ + // Detect compiler + + #ifndef __APPLE__ +-# define __APPLE__ 0 ++//# define __APPLE__ 0 + #endif + + #ifndef __CYGWIN__ +-# define __CYGWIN__ 0 ++//# define __CYGWIN__ 0 + #endif + + ////////////////////////////////////////////////////// Property changes on: head/math/vampire/files/patch-Lib_Portability.hpp ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/vampire/files/patch-Lib_System.cpp =================================================================== --- head/math/vampire/files/patch-Lib_System.cpp (nonexistent) +++ head/math/vampire/files/patch-Lib_System.cpp (revision 510141) @@ -0,0 +1,26 @@ +--- Lib/System.cpp.orig 2018-12-01 20:15:38 UTC ++++ Lib/System.cpp +@@ -27,9 +27,13 @@ + #include + # include + # if !__APPLE__ && !__CYGWIN__ +-# include ++//# include + # endif + ++#if defined (__FreeBSD__) ++#include ++#endif ++ + #include + + #include +@@ -360,7 +364,7 @@ void System::terminateImmediately(int re + */ + void System::registerForSIGHUPOnParentDeath() + { +-#if __APPLE__ || __CYGWIN__ ++#if __APPLE__ || __CYGWIN__ || __FreeBSD__ + // cerr<<"Death of parent process not being handled on Mac and Windows"< $@ +- @echo "const char* VERSION_STRING = \"Vampire $(VERSION_NUMBER) (commit $(shell git log -1 --format=%h\ on\ %ci || echo unknown))\";" >> $@ ++ @echo "const char* VERSION_STRING = \"Vampire $(FREEBSD_VERSION_NUMBER)\";" >> $@ + + ################################################################ + # separate directory for object files implementation + + # different directory for each configuration, so there is no need for "make clean" + SED_CMD='s/^[(]HEAD$$/detached/' # +-BRANCH=$(shell git branch | grep "\*" | cut -d ' ' -f 2 | sed -e $(SED_CMD) ) +-COM_CNT=$(shell git rev-list HEAD --count) ++BRANCH="master" ++COM_CNT="0" + CONF_ID := obj/$(shell echo -n "$(BRANCH) $(XFLAGS)"|sum|cut -d ' ' -f1)X + + obj: Property changes on: head/math/vampire/files/patch-Makefile ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/vampire/pkg-descr =================================================================== --- head/math/vampire/pkg-descr (nonexistent) +++ head/math/vampire/pkg-descr (revision 510141) @@ -0,0 +1,9 @@ +Automatic theorem proving has a number of important applications, such as +software verification, hardware verification, hardware design, knowledge +representation and reasoning, the Semantic Web, algebra, and proving theorems +in mathematics. Over 50 years of research in theorem proving have resulted in +one of the most advanced and elegant theories in computer science. This area is +an ideal target for scientific engineering: implementation techniques have to be +developed to realise an advanced theory in practically valuable tools. + +WWW: https://vprover.github.io/ Property changes on: head/math/vampire/pkg-descr ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property