Install the goaljobs.a file, used for native code linking.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 20 Jun 2016 18:04:22 +0000 (19:04 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 20 Jun 2016 18:05:36 +0000 (19:05 +0100)
Makefile.am
goaljobs.spec.in

index 7ed61d1..4071eb5 100644 (file)
@@ -74,7 +74,9 @@ install-data-hook:
        $(OCAMLFIND) install \
            -ldconf ignore -destdir $(DESTDIR)$(OCAMLLIB) \
            goaljobs \
-           META goaljobs.cma goaljobs.cmxa pa_goal.cmo *.cmi $(srcdir)/*.mli
+           META \
+           goaljobs.cma goaljobs.cmxa goaljobs.a \
+           pa_goal.cmo *.cmi $(srcdir)/*.mli
        rm $(DESTDIR)$(OCAMLLIB)/goaljobs/pa_goal.cmi
 
 # Dependencies.
index c7a722e..cbfeb67 100644 (file)
@@ -79,6 +79,7 @@ rm -r $RPM_BUILD_ROOT%{_docdir}/%{name}
 %{_libdir}/ocaml/goaljobs/*.cmi
 %{_libdir}/ocaml/goaljobs/pa_goal.cmo
 %if %opt
+%{_libdir}/ocaml/goaljobs/goaljobs.a
 %{_libdir}/ocaml/goaljobs/goaljobs.cmxa
 %else
 %{_libdir}/ocaml/goaljobs/goaljobs.cma