[Frugalware-git] frugalware-current: why-2.26-1-i686

Elentir elentir at frugalware.org
Wed Aug 4 12:14:54 CEST 2010


Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=5cb0b9ebdba4427e80491bbf6a841af3e117d2da

commit 5cb0b9ebdba4427e80491bbf6a841af3e117d2da
Author: Elentir <elentir at frugalware.org>
Date:   Wed Aug 4 12:04:30 2010 +0200

why-2.26-1-i686

* new package

diff --git a/source/xapps-extra/why/FrugalBuild b/source/xapps-extra/why/FrugalBuild
new file mode 100755
index 0000000..3476f75
--- /dev/null
+++ b/source/xapps-extra/why/FrugalBuild
@@ -0,0 +1,33 @@
+# Compiling Time: 0.50 SBU
+# Maintainer: Elentir <elentir at frugalware.org>
+
+pkgname=why
+pkgver=2.26
+pkgrel=1
+pkgdesc="A software verification platform"
+url="http://why.lri.fr"
+source=("$url/download/$pkgname-$pkgver.tar.gz" why-frama-c.install)
+depends=('coq')
+makedepends=('lablgtk2' 'apron' 'ocamlgraph')
+groups=('xapps-extra')
+archs=('i686' 'x86_64')
+up2date="Flasttar $url/download/"
+sha1sums=('f6958a7af8a5e12bb4cb669880b161ca171d06b7' \
+          '545387642eda8e1feb1b32a04b6ed4d6b9c456c2')
+
+subpkgs=('why-frama-c')
+subdescs=('Jessie plugin for Frama-C')
+subdepends=('frama-c')
+subrodepends=('why')
+subinstall=('why-frama-c.install')
+subgroups=('xapps-extra')
+subarchs=('i686 x86_64')
+unset MAKEFLAGS
+
+build() {
+	Fmake
+	Fmkdir usr/lib/frama-c/plugins/
+	Fmakeinstall PLUGIN_ENABLE="no"
+	Finstall 644 $_F_cd_path/frama-c-plugin/Jessie.{cma,cmi,cmo,cmxs} usr/lib/frama-c/plugins/
+	Fsplit why-frama-c usr/lib/frama-c/
+}
diff --git a/source/xapps-extra/why/why-frama-c.install b/source/xapps-extra/why/why-frama-c.install
new file mode 100644
index 0000000..77e8e08
--- /dev/null
+++ b/source/xapps-extra/why/why-frama-c.install
@@ -0,0 +1,14 @@
+post_install()
+{
+	echo "ENABLE_JESSIE=yes" >> /usr/share/frama-c/known_plugins.ac
+}
+
+post_remove()
+{
+	sed -i "/ENABLE_JESSIE=yes/d" /usr/share/frama-c/known_plugins.ac
+}
+
+op=$1
+shift
+
+$op $*


More information about the Frugalware-git mailing list