# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	eprover
#	eprover/Makefile
#	eprover/distinfo
#	eprover/files
#	eprover/files/patch-PROVER_eproof__ram
#	eprover/files/patch-configure
#	eprover/pkg-descr
#	eprover/pkg-plist
#
echo c - eprover
mkdir -p eprover > /dev/null 2>&1
echo x - eprover/Makefile
sed 's/^X//' >eprover/Makefile << '80d565f4d01026dcb91cf123d12bb28c'
X# Created by: Victor Gomes <vb358@cam.ac.uk>
X# $FreeBSD$
X
XPORTNAME=	eprover
XPORTVERSION=	1.9
XCATEGORIES=	math
XMASTER_SITES=	http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${PORTVERSION}/
XDISTNAME=	E
XEXTRACT_SUFX=	.tgz
X
XMAINTAINER=	vb358@cam.ac.uk
XCOMMENT=	Theorem prover for full first-order logic with equality
X
XLICENSE=	GPLv2 LGPL21
XLICENSE_COMB=	multi
XLICENSE_FILE=	${WRKSRC}/COPYING
X
XUSE=		tar
XWARNS=		12
XMAKE_JOBS_UNSAFE="yes"
X
XHAS_CONFIGURE=	"yes"
XCONFIGURE_ARGS=	--bindir=${STAGEDIR}/usr/local/bin/ --man-prefix=${STAGEDIR}/usr/local/man/man1/
X
XUSE_GCC=	any
X.include <bsd.port.mk>
80d565f4d01026dcb91cf123d12bb28c
echo x - eprover/distinfo
sed 's/^X//' >eprover/distinfo << '1a4400a2297c64b8f1fdbcc54bfe6930'
XSHA256 (E.tgz) = c4365661a6a4519b21b895fafe60c6b39b8acadf77a3c42e4d638027f155376e
XSIZE (E.tgz) = 2147837
1a4400a2297c64b8f1fdbcc54bfe6930
echo c - eprover/files
mkdir -p eprover/files > /dev/null 2>&1
echo x - eprover/files/patch-PROVER_eproof__ram
sed 's/^X//' >eprover/files/patch-PROVER_eproof__ram << 'a3067da24bfc66abda307a8aa372f5b5'
X--- PROVER/eproof_ram.orig	2016-08-15 16:46:51 UTC
X+++ PROVER/eproof_ram
X@@ -1,4 +1,4 @@
X-#!/bin/bash -f
X+#!/usr/local/bin/bash -f
X ########################################################################
X #
X # File  : eproof_ram
a3067da24bfc66abda307a8aa372f5b5
echo x - eprover/files/patch-configure
sed 's/^X//' >eprover/files/patch-configure << '9b2f4bf009189b35a3b62e27c048968c'
X--- configure.orig	2016-08-15 16:31:39 UTC
X+++ configure
X@@ -74,6 +74,7 @@
X # or via email (address above).
X #
X 
X+PREFIX=/usr/local/bin
X EXECPATH=`pwd`/PROVER
X MANPATH=`pwd`/DOC/man
X 
X@@ -118,11 +119,11 @@ echo $MANPATH
X sed -e "/^EXECPATH =.*/s|.*|EXECPATH = $EXECPATH|" -e "/^MANPATH =.*/s|.*|MANPATH = $MANPATH|"  Makefile.vars > tmpfile
X mv tmpfile Makefile.vars
X 
X-sed -e "/^EXECPATH=.*/s|.*|EXECPATH=$EXECPATH|" PROVER/eproof > tmpfile
X+sed -e "/^EXECPATH=.*/s|.*|EXECPATH=$PREFIX|" PROVER/eproof > tmpfile
X mv tmpfile PROVER/eproof
X chmod ugo+x PROVER/eproof
X 
X-sed -e "/^EXECPATH=.*/s|.*|EXECPATH=$EXECPATH|" PROVER/eproof_ram > tmpfile
X+sed -e "/^EXECPATH=.*/s|.*|EXECPATH=$PREFIX|" PROVER/eproof_ram > tmpfile
X mv tmpfile PROVER/eproof_ram
X chmod ugo+x PROVER/eproof_ram
X 
9b2f4bf009189b35a3b62e27c048968c
echo x - eprover/pkg-descr
sed 's/^X//' >eprover/pkg-descr << '46cfafdda29cd4f8b82da27a936edf97'
XE is a theorem prover for full first-order logic with equality. It accepts a
Xproblem specification, typically consisiting of a number first-order clauses or
Xformular, and a conjecture. The system will try to find a formal rpoof for the
Xconjecture, assuming the axioms
X
XWWW: http://eprover.org
46cfafdda29cd4f8b82da27a936edf97
echo x - eprover/pkg-plist
sed 's/^X//' >eprover/pkg-plist << 'db0771bf4152c3c3e39fd4e29ea49694'
Xbin/checkproof
Xbin/e_axfilter
Xbin/e_ltb_runner
Xbin/eground
Xbin/ekb_create
Xbin/ekb_delete
Xbin/ekb_ginsert
Xbin/ekb_insert
Xbin/epclextract
Xbin/eproof
Xbin/eproof_ram
Xbin/eprover
Xman/man1/checkproof.1.gz
Xman/man1/e_axfilter.1.gz
Xman/man1/e_ltb_runner.1.gz
Xman/man1/eground.1.gz
Xman/man1/ekb_create.1.gz
Xman/man1/ekb_delete.1.gz
Xman/man1/ekb_ginsert.1.gz
Xman/man1/ekb_insert.1.gz
Xman/man1/epclextract.1.gz
Xman/man1/eproof.1.gz
Xman/man1/eproof_ram.1.gz
Xman/man1/eprover.1.gz
db0771bf4152c3c3e39fd4e29ea49694
exit