I made a FB for Coq, it's a formal proof system in objective caml. Can
you have a look at it?
About version number, 'pl4' is a sub-version that's why I do not use
'pkgextraver' for it.
Thanks
Elentir
>From 613c95b4606c6c339ff23a38c7fab4f1ecb0e554 Mon Sep 17 00:00:00 2001
From: Elentir <[email protected]>
Date: Sun, 18 Jan 2009 22:20:19 +0100
Subject: [PATCH] coq-8.1pl4-1-i686
* new package
---
source/xapps-extra/coq/FrugalBuild | 26 ++++++++++++++++++++++++++
1 files changed, 26 insertions(+), 0 deletions(-)
create mode 100644 source/xapps-extra/coq/FrugalBuild
diff --git a/source/xapps-extra/coq/FrugalBuild b/source/xapps-extra/coq/FrugalBuild
new file mode 100644
index 0000000..22b9d6a
--- /dev/null
+++ b/source/xapps-extra/coq/FrugalBuild
@@ -0,0 +1,26 @@
+# Compiling Time: 2 SBU
+# Maintainer: -
+# Contributor: Elentir <[email protected]>
+
+pkgname=coq
+pkgver=8.1pl4
+pkgrel=1
+pkgdesc="Coq is a formal proof management system"
+url="http://coq.inria.fr/";
+source=("$url/V$pkgver/files/$pkgname-$pkgver.tar.gz")
+depends=('ocaml' 'lablgtk2' 'camlp5')
+groups=('xapps-extra')
+archs=('i686')
+up2date="lynx -dump $url/distrib1-eng.html | grep "sources" | Flasttar"
+Fconfopts="--prefix /usr --reals all --coqide opt"
+_F_desktop_name="Coqide"
+_F_desktop_exec="coqide"
+_F_desktop_categories="Science;Math;"
+sha1sums=('d65f81e465709b52599356d253dd172cc3d395be')
+
+build() {
+ unset MAKEFLAGS
+ Fsed "COQINSTALLPREFIX=" "COQINSTALLPREFIX=$Fdestdir" Makefile
+ Fbuild
+ Fdesktop2
+}
--
1.6.1
_______________________________________________
Frugalware-devel mailing list
[email protected]
http://frugalware.org/mailman/listinfo/frugalware-devel
