Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=48308d6594f500e2283fe2b0def2798af010ce8a
commit 48308d6594f500e2283fe2b0def2798af010ce8a Author: crazy <[email protected]> Date: Tue Nov 3 00:47:22 2015 +0100 coq-8.3pl4-1-x86_64 - removed - repo cleanup diff --git a/source/xapps-extra/coq/FrugalBuild b/source/xapps-extra/coq/FrugalBuild deleted file mode 100644 index 987bc31..0000000 --- a/source/xapps-extra/coq/FrugalBuild +++ /dev/null @@ -1,29 +0,0 @@ -# Compiling Time: 7.61 SBU -# Maintainer: Elentir <[email protected]> - -pkgname=coq -pkgver=8.3pl4 -pkgrel=1 -pkgdesc="Coq is a formal proof management system" -url="http://coq.inria.fr/"; -source=("$url/distrib/V$pkgver/files/$pkgname-$pkgver.tar.gz") -depends=('gtk+2-libs' 'gdk-pixbuf2') -makedepends=('ocaml>=3.12.1' 'lablgtk2' 'camlp5>=6.05') -options=('scriptlet' 'nostrip') -groups=('xapps-extra') -archs=('i686' 'x86_64') -up2date="Flasttar $url/download" -Fconfopts="--prefix /usr --mandir /usr/share/man --coqide opt" -_F_desktop_name="Coqide" -_F_desktop_exec="coqide" -_F_desktop_categories="Science;Math;" -_F_desktop_icon="$pkgname.png" -sha1sums=('c1c012b0b4fa134bb34db5353696b40fb5a213c8') - -build() { - unset MAKEFLAGS - Fsed "#COQINSTALLPREFIX=" "COQINSTALLPREFIX=$Fdestdir" Makefile.build - Fbuild - Ficon $pkgname-$pkgver/ide/$pkgname.png - Fdesktop2 -} _______________________________________________ Frugalware-git mailing list [email protected] http://frugalware.org/mailman/listinfo/frugalware-git
