Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=1e799e3b63735aad89164b39092e5bfcc9bc9ec6
commit 1e799e3b63735aad89164b39092e5bfcc9bc9ec6 Author: crazy <[email protected]> Date: Tue Nov 3 00:48:51 2015 +0100 why-2.30-1-x86_64 - removed - repo cleanup diff --git a/source/xapps-extra/why/FrugalBuild b/source/xapps-extra/why/FrugalBuild deleted file mode 100644 index bf38068..0000000 --- a/source/xapps-extra/why/FrugalBuild +++ /dev/null @@ -1,33 +0,0 @@ -# Compiling Time: 0.50 SBU -# Maintainer: Elentir <[email protected]> - -pkgname=why -pkgver=2.30 -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=('eab893e6b9ebf9c07207269c80231123280103cd' \ - '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 deleted file mode 100644 index 77e8e08..0000000 --- a/source/xapps-extra/why/why-frama-c.install +++ /dev/null @@ -1,14 +0,0 @@ -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 $* _______________________________________________ Frugalware-git mailing list [email protected] http://frugalware.org/mailman/listinfo/frugalware-git
