diff --git a/Makefile.am b/Makefile.am index 7ed61d1838901eafdff5656ed8aa048da5e206b9..4071eb52245f4c7e8316534f9f7119237d09c276 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 c7a722e454ad73a564a95f289906b0680161b6ea..cbfeb678d55ed96b5400b05cdc04ee1dedd7b9a3 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