Git-Url:
http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=1e799e3b63735aad89164b39092e5bfcc9bc9ec6
commit 1e799e3b63735aad89164b39092e5bfcc9bc9ec6
Author: crazy
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..000
--- a/source/xapps-extra/why/FrugalBuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# Compiling Time: 0.50 SBU
-# Maintainer: Elentir
-
-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..000
--- 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
Frugalware-git@frugalware.org
http://frugalware.org/mailman/listinfo/frugalware-git
