[gentoo-commits] proj/betagarden:master commit in: dev-util/tis-interpreter/files/, dev-util/tis-interpreter/

[Sebastian Pipping]

commit:     c5807a4553aabd68c301678fbbfeb750cc536f89
Author:     Sebastian Pipping <sping <AT> gentoo <DOT> org>
AuthorDate: Tue May 17 18:16:04 2016 +0000
Commit:     Sebastian Pipping <sping <AT> gentoo <DOT> org>
CommitDate: Tue May 17 18:16:15 2016 +0000
URL:        https://gitweb.gentoo.org/proj/betagarden.git/commit/?id=c5807a45

dev-util/tis-interpreter: 0_p20160517

 .../files/tis-interpreter-0_p20160517-path.patch   | 27 +++++++++++++
 dev-util/tis-interpreter/metadata.xml              |  8 ++++
 .../tis-interpreter-0_p20160517.ebuild             | 45 ++++++++++++++++++++++
 3 files changed, 80 insertions(+)

diff --git 
a/dev-util/tis-interpreter/files/tis-interpreter-0_p20160517-path.patch 
b/dev-util/tis-interpreter/files/tis-interpreter-0_p20160517-path.patch
new file mode 100644
index 0000000..e10b2e2
--- /dev/null
+++ b/dev-util/tis-interpreter/files/tis-interpreter-0_p20160517-path.patch
@@ -0,0 +1,27 @@
+From 989ec7e67fa3c510ab906c7b37d538151c2b7042 Mon Sep 17 00:00:00 2001
+From: Sebastian Pipping <sebast...@pipping.org>
+Date: Tue, 17 May 2016 19:40:31 +0200
+Subject: [PATCH] Fix file locations
+
+---
+ tis-interpreter/tis-interpreter.sh | 4 ++--
+ 1 file changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/tis-interpreter/tis-interpreter.sh 
b/tis-interpreter/tis-interpreter.sh
+index 05c5c82..d996d46 100755
+--- a/tis-interpreter/tis-interpreter.sh
++++ b/tis-interpreter/tis-interpreter.sh
+@@ -19,8 +19,8 @@ EOF
+ 
+ __tis_interpreter() {
+ 
+-ROOT_PATH=`dirname $0`
+-TIS_PATH=$ROOT_PATH/tis-interpreter
++ROOT_PATH=/usr/lib/tis-interpreter
++TIS_PATH=/usr
+ 
+ local frama_c_binary="frama-c"
+ 
+-- 
+2.8.2
+

diff --git a/dev-util/tis-interpreter/metadata.xml 
b/dev-util/tis-interpreter/metadata.xml
new file mode 100644
index 0000000..6d22988
--- /dev/null
+++ b/dev-util/tis-interpreter/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";>
+<pkgmetadata>
+       <maintainer type="person">
+               <email>sp...@gentoo.org</email>
+               <name>Sebastian Pipping</name>
+       </maintainer>
+</pkgmetadata>

diff --git a/dev-util/tis-interpreter/tis-interpreter-0_p20160517.ebuild 
b/dev-util/tis-interpreter/tis-interpreter-0_p20160517.ebuild
new file mode 100644
index 0000000..d7abb70
--- /dev/null
+++ b/dev-util/tis-interpreter/tis-interpreter-0_p20160517.ebuild
@@ -0,0 +1,45 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+inherit eutils
+
+MY_PV=4661757d4808e3e301024cc8930de85e5aba05a3
+DESCRIPTION="An interpreter for finding subtle bugs in programs written in 
standard C"
+HOMEPAGE="https://github.com/TrustInSoft/tis-interpreter";
+SRC_URI="https://github.com/TrustInSoft/tis-interpreter/archive/${MY_PV}.tar.gz
 -> ${P}.tar.gz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+       dev-lang/ocaml
+       dev-ml/biniou
+       dev-ml/easy-format
+       dev-ml/findlib
+       dev-ml/yojson
+       dev-ml/zarith
+       "
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}"/${PN}-${MY_PV}
+
+src_prepare() {
+       epatch "${FILESDIR}"/${P}-path.patch
+}
+
+src_install() {
+       default
+
+       insinto /usr/lib/${PN}
+       doins -r ${PN}/{common_helpers,filesystem}
+       newbin ${PN}/${PN}.sh ${PN}
+       dobin filesystem/tis-mkfs
+
+       insinto /usr/share/${PN}
+       doins -r ${PN}/examples
+}