Attachment 174011 Details for Bug 211903 – Eprover port (added gcc dep)

Eprover port (added gcc dep)

eprover.shar (text/plain), 3.88 KB, created by Victor Gomes on 2016-08-24 10:48:36 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Victor Gomes

Created: 2016-08-24 10:48:36 UTC

Size: 3.88 KB

patch

obsolete

># 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
>

Actions: View

Attachments on bug 211903: 173738 | 174011 | 187373 | 188101 | 188102