2018-06-06 15:33:05 +00:00
|
|
|
%global extraver 8
|
2017-09-07 15:09:41 +00:00
|
|
|
|
|
|
|
Name: ocaml-mccs
|
|
|
|
Version: 1.1
|
2018-07-11 18:24:02 +00:00
|
|
|
Release: 10.%{extraver}%{?dist}
|
2017-09-07 15:09:41 +00:00
|
|
|
Summary: Multi Criteria CUDF Solver with OCaml bindings
|
|
|
|
|
|
|
|
%global libname %(echo %{name} | sed -e 's/^ocaml-//')
|
|
|
|
|
|
|
|
# Original C/C++ code is BSD, OCaml bindings are LGPL.
|
|
|
|
# Linking exception, see included COPYING file.
|
|
|
|
License: BSD and LGPLv3+ with exceptions
|
|
|
|
|
|
|
|
URL: https://github.com/AltGr/ocaml-mccs
|
|
|
|
|
|
|
|
# Upstream's use of a '+' instead of a '.' makes this hard to use a macro.
|
2017-11-25 18:56:34 +00:00
|
|
|
Source0: https://github.com/AltGr/ocaml-mccs/archive/%{version}+%{extraver}/%{name}-%{version}-%{extraver}.tar.gz
|
2017-09-07 15:09:41 +00:00
|
|
|
|
|
|
|
BuildRequires: ocaml
|
|
|
|
BuildRequires: jbuilder
|
2018-02-20 17:31:14 +00:00
|
|
|
BuildRequires: gcc, gcc-c++
|
2017-09-07 15:09:41 +00:00
|
|
|
BuildRequires: ocaml-findlib-devel
|
|
|
|
BuildRequires: ocaml-cudf-devel
|
|
|
|
BuildRequires: glpk-devel
|
|
|
|
|
|
|
|
%description
|
|
|
|
mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem
|
|
|
|
solver developed at UNS during the European MANCOOSI project.
|
|
|
|
|
|
|
|
This project contains a stripped-down version of the mccs solver,
|
|
|
|
taken from snapshot 1.1, with a binding as an OCaml library, and
|
|
|
|
building with jbuilder.
|
|
|
|
|
|
|
|
The binding enables interoperation with binary CUDF data from the
|
|
|
|
OCaml CUDF library, and removes the native C++ parsers and printers.
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
Summary: Development files for %{name}
|
|
|
|
Requires: %{name} = %{version}-%{release}
|
|
|
|
|
|
|
|
%description devel
|
|
|
|
The %{name}-devel package contains libraries and signature files for
|
|
|
|
developing applications that use %{name}.
|
|
|
|
|
|
|
|
%prep
|
|
|
|
%autosetup -n %{name}-%{version}-%{extraver}
|
|
|
|
|
|
|
|
%build
|
|
|
|
jbuilder build -p mccs %{?_smp_mflags}
|
|
|
|
|
|
|
|
%install
|
|
|
|
# This is an opam dependency. Tragically it means we must manually install,
|
|
|
|
# since the jbuilder install command only works with opam-installer.
|
|
|
|
mkdir -p %{buildroot}%{_libdir}/ocaml
|
|
|
|
cp -aLr _build/install/default/lib/* %{buildroot}%{_libdir}/ocaml/
|
|
|
|
|
|
|
|
%files
|
|
|
|
%license LICENCE
|
|
|
|
%doc README.md
|
|
|
|
%{_libdir}/ocaml/%{libname}
|
|
|
|
%ifarch %{ocaml_native_compiler}
|
|
|
|
%exclude %{_libdir}/ocaml/*/*.a
|
|
|
|
%exclude %{_libdir}/ocaml/*/*.cmx
|
|
|
|
%exclude %{_libdir}/ocaml/*/*.cmxa
|
|
|
|
%endif
|
|
|
|
%exclude %{_libdir}/ocaml/*/*.mli
|
|
|
|
%{_libdir}/ocaml/stublibs/*.so
|
|
|
|
|
|
|
|
%files devel
|
|
|
|
%ifarch %{ocaml_native_compiler}
|
|
|
|
%{_libdir}/ocaml/*/*.a
|
|
|
|
%{_libdir}/ocaml/*/*.cmx
|
|
|
|
%{_libdir}/ocaml/*/*.cmxa
|
|
|
|
%endif
|
|
|
|
%{_libdir}/ocaml/*/*.mli
|
|
|
|
|
|
|
|
%changelog
|
2018-07-11 18:24:02 +00:00
|
|
|
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.1-10.8
|
|
|
|
- OCaml 4.07.0 (final) rebuild.
|
|
|
|
|
2018-06-20 20:03:21 +00:00
|
|
|
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.1-9.8
|
|
|
|
- OCaml 4.07.0-rc1 rebuild.
|
|
|
|
|
2018-06-06 15:33:05 +00:00
|
|
|
* Wed Jun 06 2018 Ben Rosser <rosser.bjr@gmail.com> - 1.1-8.8
|
|
|
|
- Updated to latest upstream release (rhbz#1584456).
|
|
|
|
|
2018-05-21 21:55:46 +00:00
|
|
|
* Mon May 21 2018 Ben Rosser <rosser.bjr@gmail.com> - 1.1-7.7
|
|
|
|
- Update to latest upstream release (rhbz#1577188).
|
|
|
|
|
2018-02-08 08:52:26 +00:00
|
|
|
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-6.5
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
|
|
2018-01-30 16:29:52 +00:00
|
|
|
* Tue Jan 30 2018 Ben Rosser <rosser.bjr@gmail.com> - 1.1-5.5
|
|
|
|
- Updated to latest upstream release (#1512145).
|
|
|
|
|
2017-12-02 11:06:24 +00:00
|
|
|
* Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 1.1-4.4
|
|
|
|
- OCaml 4.06.0 rebuild.
|
|
|
|
|
2017-11-25 18:56:34 +00:00
|
|
|
* Sat Nov 25 2017 Ben Rosser <rosser.bjr@gmail.com> - 1.1.3-4
|
|
|
|
- Update to latest upstream release (#1512145).
|
|
|
|
|
2017-10-24 00:19:59 +00:00
|
|
|
* Sun Oct 22 2017 Ben Rosser <rosser.bjr@gmail.com> - 1.1-2.3b
|
2017-10-22 18:21:28 +00:00
|
|
|
- Update to latest upstream release.
|
|
|
|
|
|
|
|
* Sat Sep 02 2017 Ben Rosser <rosser.bjr@gmail.com> - 1.1-1.2c
|
2017-09-07 15:09:41 +00:00
|
|
|
- Initial package.
|