From: Richard W.M. Jones Date: Mon, 20 Jun 2016 18:04:22 +0000 (+0100) Subject: Install the goaljobs.a file, used for native code linking. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=e9b165e44b70da20ffc8ef258b7bae80fba78b7a;p=goaljobs.git Install the goaljobs.a file, used for native code linking. --- 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