SPECS: ocaml-facile.spec (NEW) - new

[witekfl]

Author: witekfl                      Date: Thu May  1 18:51:25 2008 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- new

---- Files affected:
SPECS:
   ocaml-facile.spec (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SPECS/ocaml-facile.spec
diff -u /dev/null SPECS/ocaml-facile.spec:1.1
--- /dev/null	Thu May  1 20:51:25 2008
+++ SPECS/ocaml-facile.spec	Thu May  1 20:51:19 2008
@@ -0,0 +1,66 @@
+# $Revision$, $Date$
+Summary:	FaCiLe library
+Summary(pl.UTF-8):	Biblioteka FaCiLe
+Name:		ocaml-facile
+Version:	1.1
+Release:	0.1
+License:	LGPL
+Group:		Libraries
+Source0:	http://www.recherche.enac.fr/log/facile/distrib/facile-%{version}.tar.gz
+# Source0-md5:	ab673e1fc0859a42bcb639a02c2d7e9e
+URL:		http://www.recharche.enac.fr/log/facile/
+BuildRequires:	ocaml >= 3.04-7
+%requires_eq	ocaml-runtime
+BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+FaCiLe is a constraint programming library on integer and integer set
+finite domains written in OCaml.
+
+%prep
+%setup -q -n facile-%{version}
+
+%build
+%{__make} CC="%{__cc} %{rpmcflags} -fPIC" compile
+
+%install
+rm -rf $RPM_BUILD_ROOT
+
+install -d $RPM_BUILD_ROOT%{_libdir}/ocaml/facile
+install src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a \
+	$RPM_BUILD_ROOT%{_libdir}/ocaml/facile
+
+install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
+cp -r examples $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
+
+install -d $RPM_BUILD_ROOT%{_libdir}/ocaml/site-lib/facile
+cat > $RPM_BUILD_ROOT%{_libdir}/ocaml/site-lib/facile/META <<EOF
+requires = ""
+version = "%{version}"
+directory = "+facile"
+archive(byte) = "facile.cma"
+archive(native) = "facile.cmxa"
+linkopts = ""
+EOF
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%doc README
+%dir %{_libdir}/ocaml/facile
+%{_libdir}/ocaml/facile/*.cm[ixa]*
+%{_libdir}/ocaml/facile/*.a
+%{_examplesdir}/%{name}-%{version}
+%{_libdir}/ocaml/site-lib/facile
+
+%define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
+%changelog
+* %{date} PLD Team <feedback at pld-linux.org>
+All persons listed below can be reached at <cvs_login>@pld-linux.org
+
+$Log$
+Revision 1.1  2008-05-01 18:51:19  witekfl
+- new
+
================================================================