Enable bytecode compilation.
This commit is contained in:
parent
f5597b9478
commit
0ba67cbfb0
@ -4,7 +4,7 @@
|
|||||||
|
|
||||||
Name: ocaml-facile
|
Name: ocaml-facile
|
||||||
Version: 1.1
|
Version: 1.1
|
||||||
Release: 34%{?dist}
|
Release: 35%{?dist}
|
||||||
Summary: OCaml library for constraint programming
|
Summary: OCaml library for constraint programming
|
||||||
Summary(fr): Librairie OCaml de programmation par contraintes
|
Summary(fr): Librairie OCaml de programmation par contraintes
|
||||||
License: LGPLv2+
|
License: LGPLv2+
|
||||||
@ -77,7 +77,11 @@ developing applications that use %{name}.
|
|||||||
# This is not autoconf, but a simple custom configure script.
|
# This is not autoconf, but a simple custom configure script.
|
||||||
# The --faciledir directory is only used for "make install".
|
# The --faciledir directory is only used for "make install".
|
||||||
./configure --faciledir $RPM_BUILD_ROOT%{_libdir}/ocaml/facile
|
./configure --faciledir $RPM_BUILD_ROOT%{_libdir}/ocaml/facile
|
||||||
|
%if %opt
|
||||||
make
|
make
|
||||||
|
%else
|
||||||
|
make OCAMLC=ocamlc OCAMLMLI=ocamlc
|
||||||
|
%endif
|
||||||
|
|
||||||
%install
|
%install
|
||||||
mkdir -p $RPM_BUILD_ROOT%{_libdir}/ocaml
|
mkdir -p $RPM_BUILD_ROOT%{_libdir}/ocaml
|
||||||
@ -100,6 +104,9 @@ make install
|
|||||||
%{_libdir}/ocaml/facile/*.mli
|
%{_libdir}/ocaml/facile/*.mli
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Tue Jul 21 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1-35
|
||||||
|
- Enable bytecode compilation.
|
||||||
|
|
||||||
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1-34
|
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1-34
|
||||||
- ocaml-4.02.2 final rebuild.
|
- ocaml-4.02.2 final rebuild.
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user