facile-vl.spec 3.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107
  1. Name: facile
  2. Summary: Functional Constraint Library implemented in Objective Caml
  3. Summary(ja): OCaml で実装された関数制約ライブラリ
  4. Version: 1.1
  5. Release: 11%{?_dist_release}
  6. License: LGPL
  7. Group: System Environment/Libraries
  8. URL: http://www.recherche.enac.fr/opti/facile/
  9. Source: http://www.recherche.enac.fr/opti/facile/distrib/%{name}-%{version}.tar.gz
  10. BuildRoot: %{_tmppath}/%{name}-%{version}-root
  11. BuildRequires: ocaml >= 3.02
  12. Requires: ocaml >= 3.02
  13. Vendor: Project Vine
  14. Distribution: Vine Linux
  15. Packager: inagaki
  16. %description
  17. FaCiLe is a constraint programming library on integer and integer set
  18. finite domains written in OCaml. It offers all usual facilities to create and
  19. manipulate finite domain variables, arithmetic expressions and constraints
  20. (possibly non-linear), built-in global constraints (difference, cardinality,
  21. sorting etc.) and search and optimization goals. FaCiLe allows as well to
  22. build easily user-defined constraints and goals (including recursive ones),
  23. making pervasive use of OCaml higher-order functionals to provide a simple
  24. and flexible interface for the user. As FaCiLe is an OCaml library and not
  25. "yet another language", the user benefits from type inference and strong
  26. typing discipline, high level of abstraction, modules and objects system,
  27. as well as native code compilation efficiency, garbage collection and replay
  28. debugger, all features of OCaml (among many others) that allow to prototype
  29. and experiment quickly: modeling, data processing and interface are
  30. implemented with the same powerful and efficient language. For a more
  31. complete description, you may consult the preface and foreword of the online
  32. documentation
  33. %prep
  34. %setup -q
  35. %build
  36. ./configure
  37. make
  38. %install
  39. rm -rf $RPM_BUILD_ROOT
  40. mkdir -p $RPM_BUILD_ROOT%{_libdir}/ocaml/facile
  41. cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $RPM_BUILD_ROOT%{_libdir}/ocaml/facile
  42. chmod a+r $RPM_BUILD_ROOT%{_libdir}/ocaml/facile/facile.cmi
  43. chmod a+r $RPM_BUILD_ROOT%{_libdir}/ocaml/facile/facile.cma
  44. chmod a+r $RPM_BUILD_ROOT%{_libdir}/ocaml/facile/facile.cmxa
  45. chmod a+r $RPM_BUILD_ROOT%{_libdir}/ocaml/facile/facile.a
  46. %clean
  47. rm -rf $RPM_BUILD_ROOT
  48. %check
  49. make check
  50. %files
  51. %defattr(-,root,root)
  52. %doc LICENSE README
  53. %{_libdir}/ocaml/facile/*
  54. %changelog
  55. * Wed Apr 27 2011 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-11
  56. - rebuilt with ocaml-3.12.0
  57. - added Japanese summary
  58. - added Vendor and Distribution tag
  59. * Sun Sep 13 2009 NAKAMURA Kenta <kenta@vinelinux.org> 1.1-10
  60. - rebuilt with ocaml-3.11.0 (x86_64 has not built with ocaml-3.11.0)
  61. * Sat May 9 2009 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-9
  62. - rebuilt with ocaml-3.11.0
  63. * Sat Jul 12 2008 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-8
  64. - rebuild with ocaml-3.10.2
  65. * Thu Feb 7 2008 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl5.2
  66. - rebuild with ocaml-3.10.1 on Vine4.2
  67. * Thu Feb 7 2008 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl7
  68. - rebuild with ocaml-3.10.1
  69. * Tue Oct 23 2007 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl5.1
  70. - rebuild with ocaml-3.10.0 on Vine4.1
  71. * Sun Sep 30 2007 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-0vl6
  72. - rebuild with ocaml-3.10.0
  73. * Thu Jun 15 2006 MATSUBAYASHI Kohji <shaolin@vinelinux.org> 1.1-0vl5
  74. - rebuild with ocaml-3.09.2 on VineSeed
  75. * Thu Mar 23 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl4
  76. - rebuild with ocaml-3.09.1 on VineSeed
  77. * Thu Mar 23 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl3
  78. - rebuild with ocaml-3.09.1 on Vine3.2
  79. * Mon Feb 6 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl2
  80. - rebuild for VineSeed
  81. * Mon Feb 6 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl1
  82. - initial release