From e9b165e44b70da20ffc8ef258b7bae80fba78b7a Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 20 Jun 2016 19:04:22 +0100 Subject: [PATCH] Install the goaljobs.a file, used for native code linking. --- Makefile.am | 4 +++- goaljobs.spec.in | 1 + 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index 7ed61d1..4071eb5 100644 --- a/Makefile.am +++ b/Makefile.am @@ -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. diff --git a/goaljobs.spec.in b/goaljobs.spec.in index c7a722e..cbfeb67 100644 --- a/goaljobs.spec.in +++ b/goaljobs.spec.in @@ -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 -- 1.8.3.1