[9296] | 1 | %global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) |
---|
| 2 | %global debug_package %{nil} |
---|
| 3 | %global _default_patch_fuzz 2 |
---|
| 4 | |
---|
| 5 | Name: ocaml-facile |
---|
| 6 | Version: 1.1 |
---|
| 7 | Release: 31%{?_dist_release} |
---|
| 8 | Summary: OCaml library for constraint programming |
---|
| 9 | Summary(ja): 制約プログラミング向けの OCaml ライブラリ |
---|
| 10 | Summary(fr): Librairie OCaml de programmation par contraintes |
---|
| 11 | |
---|
| 12 | License: LGPLv2+ |
---|
| 13 | Group: System Environment/Libraries |
---|
| 14 | URL: http://www.recherche.enac.fr/log/facile/ |
---|
| 15 | |
---|
| 16 | Source0: http://www.recherche.enac.fr/log/facile/distrib/facile-%{version}.tar.gz |
---|
| 17 | |
---|
| 18 | # makefile fixes by Steffen Joeris <white@debian.org>: |
---|
| 19 | # * only build and install native binaries if ocamlopt is available |
---|
| 20 | # * install .mli files |
---|
| 21 | Patch0: facile-1.1-makefile-fixes.patch |
---|
| 22 | |
---|
| 23 | # Fix for OCaml 4.00.0. |
---|
| 24 | Patch1: ocaml-facile-ocaml-4.patch |
---|
| 25 | |
---|
| 26 | BuildRoot: %{_tmppath}/%{name}-%{version}-root |
---|
| 27 | BuildRequires: ocaml >= 3.02 |
---|
| 28 | BuildRequires: ocaml-findlib-devel |
---|
| 29 | Obsoletes: facile < %{version}-%{release} |
---|
| 30 | Provides: facile = %{version}-%{release} |
---|
| 31 | |
---|
| 32 | Vendor: Project Vine |
---|
| 33 | Distribution: Vine Linux |
---|
| 34 | Packager: inagaki |
---|
| 35 | |
---|
| 36 | %description |
---|
| 37 | FaCiLe is a constraint programming library on integer and integer set finite |
---|
| 38 | domains written in OCaml. It offers all usual facilities to create and |
---|
| 39 | manipulate finite domain variables, arithmetic expressions and constraints |
---|
| 40 | (possibly non-linear), built-in global constraints (difference, cardinality, |
---|
| 41 | sorting etc.) and search and optimization goals. FaCiLe allows as well to build |
---|
| 42 | easily user-defined constraints and goals (including recursive ones), making |
---|
| 43 | pervasive use of OCaml higher-order functionals to provide a simple and flexible |
---|
| 44 | interface for the user. As FaCiLe is an OCaml library and not "yet another |
---|
| 45 | language", the user benefits from type inference and strong typing discipline, |
---|
| 46 | high level of abstraction, modules and objects system, as well as native code |
---|
| 47 | compilation efficiency, garbage collection and replay debugger, all features of |
---|
| 48 | OCaml (among many others) that allow to prototype and experiment quickly: |
---|
| 49 | modeling, data processing and interface are implemented with the same powerful |
---|
| 50 | and efficient language. |
---|
| 51 | |
---|
| 52 | %package devel |
---|
| 53 | Summary: Development files for %{name} |
---|
| 54 | Summary(ja): %{name} の開発用ファイル |
---|
| 55 | Group: Development/Libraries |
---|
| 56 | Requires: %{name} = %{version}-%{release} |
---|
| 57 | |
---|
| 58 | %description devel |
---|
| 59 | The %{name}-devel package contains libraries and signature files for |
---|
| 60 | developing applications that use %{name}. |
---|
| 61 | |
---|
| 62 | |
---|
| 63 | %prep |
---|
| 64 | %setup -q -n facile-%{version} |
---|
| 65 | %patch0 -p1 -b .makefile-fixes |
---|
| 66 | %patch1 -p1 -b .ocaml4 |
---|
| 67 | |
---|
| 68 | %build |
---|
| 69 | # This is not autoconf, but a simple custom configure script. |
---|
| 70 | # The --faciledir directory is only used for "make install". |
---|
| 71 | ./configure --faciledir $RPM_BUILD_ROOT%{_libdir}/ocaml/facile |
---|
| 72 | make |
---|
| 73 | |
---|
| 74 | %install |
---|
| 75 | rm -rf $RPM_BUILD_ROOT |
---|
| 76 | mkdir -p $RPM_BUILD_ROOT%{_libdir}/ocaml/facile |
---|
| 77 | make install |
---|
| 78 | |
---|
| 79 | %clean |
---|
| 80 | rm -rf $RPM_BUILD_ROOT |
---|
| 81 | |
---|
| 82 | %check |
---|
| 83 | make check |
---|
| 84 | |
---|
| 85 | %files |
---|
| 86 | %defattr(-,root,root) |
---|
| 87 | %doc LICENSE README |
---|
| 88 | %{_libdir}/ocaml/facile/ |
---|
| 89 | %if %opt |
---|
| 90 | %exclude %{_libdir}/ocaml/facile/*.a |
---|
| 91 | %exclude %{_libdir}/ocaml/facile/*.cmxa |
---|
| 92 | %endif |
---|
| 93 | %exclude %{_libdir}/ocaml/facile/*.mli |
---|
| 94 | |
---|
| 95 | %files devel |
---|
| 96 | %if %opt |
---|
| 97 | %{_libdir}/ocaml/facile/*.a |
---|
| 98 | %{_libdir}/ocaml/facile/*.cmxa |
---|
| 99 | %endif |
---|
| 100 | %{_libdir}/ocaml/facile/*.mli |
---|
| 101 | |
---|
| 102 | |
---|
| 103 | %changelog |
---|
| 104 | * Mon Jan 26 2015 Ryoichi INAGAKI <ryo1@toki.waseda.jp> 1.1-31 |
---|
| 105 | - changed package name |
---|
| 106 | - rebuilt with ocaml 4.02.1 |
---|
| 107 | - split development files into devel subpackage |
---|
| 108 | |
---|
| 109 | * Tue May 15 2012 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-13 |
---|
| 110 | - rebuilt with ocaml-3.12.1 |
---|
| 111 | |
---|
| 112 | * Sat Jun 25 2011 Yoji TOYODA <bsyamato@sea.plala.or.jp> 1.1-12 |
---|
| 113 | - rebuild with ocaml-3.12.0 |
---|
| 114 | |
---|
| 115 | * Wed Apr 27 2011 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-11 |
---|
| 116 | - rebuilt with ocaml-3.12.0 |
---|
| 117 | - added Japanese summary |
---|
| 118 | - added Vendor and Distribution tag |
---|
| 119 | |
---|
| 120 | * Sun Sep 13 2009 NAKAMURA Kenta <kenta@vinelinux.org> 1.1-10 |
---|
| 121 | - rebuilt with ocaml-3.11.0 (x86_64 has not built with ocaml-3.11.0) |
---|
| 122 | |
---|
| 123 | * Sat May 9 2009 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-9 |
---|
| 124 | - rebuilt with ocaml-3.11.0 |
---|
| 125 | |
---|
| 126 | * Sat Jul 12 2008 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-8 |
---|
| 127 | - rebuild with ocaml-3.10.2 |
---|
| 128 | |
---|
| 129 | * Thu Feb 7 2008 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl5.2 |
---|
| 130 | - rebuild with ocaml-3.10.1 on Vine4.2 |
---|
| 131 | |
---|
| 132 | * Thu Feb 7 2008 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl7 |
---|
| 133 | - rebuild with ocaml-3.10.1 |
---|
| 134 | |
---|
| 135 | * Tue Oct 23 2007 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl5.1 |
---|
| 136 | - rebuild with ocaml-3.10.0 on Vine4.1 |
---|
| 137 | |
---|
| 138 | * Sun Sep 30 2007 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-0vl6 |
---|
| 139 | - rebuild with ocaml-3.10.0 |
---|
| 140 | |
---|
| 141 | * Thu Jun 15 2006 MATSUBAYASHI Kohji <shaolin@vinelinux.org> 1.1-0vl5 |
---|
| 142 | - rebuild with ocaml-3.09.2 on VineSeed |
---|
| 143 | |
---|
| 144 | * Thu Mar 23 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl4 |
---|
| 145 | - rebuild with ocaml-3.09.1 on VineSeed |
---|
| 146 | |
---|
| 147 | * Thu Mar 23 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl3 |
---|
| 148 | - rebuild with ocaml-3.09.1 on Vine3.2 |
---|
| 149 | |
---|
| 150 | * Mon Feb 6 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl2 |
---|
| 151 | - rebuild for VineSeed |
---|
| 152 | |
---|
| 153 | * Mon Feb 6 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl1 |
---|
| 154 | - initial release |
---|