From b26641681b61c7de883071ae8cdcaaab939e2c53 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Mon, 16 Sep 2013 11:59:29 -0600 Subject: [PATCH] Rebuild for OCaml 4.01.0. Enable debuginfo. --- ocaml-tplib.spec | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/ocaml-tplib.spec b/ocaml-tplib.spec index b528c53..bedd6e2 100644 --- a/ocaml-tplib.spec +++ b/ocaml-tplib.spec @@ -1,10 +1,8 @@ -# Debuginfo generation for OCaml is not yet functional in Fedora -%global debug_package %{nil} %global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) Name: ocaml-tplib Version: 1.3 -Release: 4%{?dist} +Release: 5%{?dist} Summary: Tropical Polyhedra Library License: LGPLv2+ @@ -60,6 +58,9 @@ Tools that use TPLib. %prep %setup -q -n tplib-%{version} +# Enable debuginfo generation +sed -i 's/@OCAMLBUILD@/& -cflag -g -lflag -g/' Makefile.in + %build %configure # Don't use %%{?_smp_mflags}; it leads to build failures @@ -72,9 +73,6 @@ mkdir -p %{buildroot}%{_includedir} make install bindir=%{buildroot}%{_bindir} libdir=%{buildroot}%{_libdir} \ includedir=%{buildroot}%{_includedir} -strip %{buildroot}%{_bindir}/compute* -strip %{buildroot}%{_libdir}/ocaml/tplib/*.cmxs - mkdir -p %{buildroot}%{_mandir}/man1 cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} %{SOURCE6} \ %{buildroot}%{_mandir}/man1 @@ -103,6 +101,10 @@ _build/tests/test_tplib_rational %doc %{_mandir}/man1/* %changelog +* Mon Sep 16 2013 Jerry James - 1.3-5 +- Rebuild for OCaml 4.01.0 +- Enable debuginfo + * Sat Aug 03 2013 Fedora Release Engineering - 1.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild