Rebuild for OCaml 4.01.0.

Enable debuginfo.

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 <loganjerry@gmail.com> - 1.3-5
+- Rebuild for OCaml 4.01.0
+- Enable debuginfo
+
 * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-4
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild