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 <[EMAIL PROTECTED]> +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 + ================================================================ _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
