rpms/ocaml
3
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

- Set includes so building the *info programs works without having OCaml

Browse Source 
already installed.
This commit is contained in:
Richard W.M. Jones 2009-10-16 15:31:50 +00:00
parent a06adc6ba0
commit 84643c629d
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
ocaml.spec
View File

@ -2,7 +2,7 @@
Name: ocaml Name: ocaml
Version: 3.11.1 Version: 3.11.1
Release: 3%{?dist} Release: 4%{?dist}
Summary: Objective Caml compiler and programming environment Summary: Objective Caml compiler and programming environment
@ -220,9 +220,10 @@ make -C emacs ocamltags
# Currently these tools are supplied by Debian, but are expected # Currently these tools are supplied by Debian, but are expected
# to go upstream at some point. # to go upstream at some point.
cp %{SOURCE6} %{SOURCE7} . cp %{SOURCE6} %{SOURCE7} .
boot/ocamlrun ./ocamlc -I otherlibs/dynlink dynlinkaux.cmo ocamlbyteinfo.ml -o ocamlbyteinfo includes="-nostdlib -I stdlib -I utils -I parsing -I typing -I bytecomp -I asmcomp -I driver -I otherlibs/unix -I otherlibs/str -I otherlibs/dynlink"
boot/ocamlrun ./ocamlc $includes dynlinkaux.cmo ocamlbyteinfo.ml -o ocamlbyteinfo
cp otherlibs/dynlink/natdynlink.ml . cp otherlibs/dynlink/natdynlink.ml .
boot/ocamlrun ./ocamlopt unix.cmxa str.cmxa natdynlink.ml ocamlplugininfo.ml -o ocamlplugininfo boot/ocamlrun ./ocamlopt $includes unix.cmxa str.cmxa natdynlink.ml ocamlplugininfo.ml -o ocamlplugininfo
%install %install
@ -450,6 +451,10 @@ fi
%changelog %changelog
* Fri Oct 16 2009 Richard W.M. Jones <rjones@redhat.com> - 3.11.1-4
- Set includes so building the *info programs works without
having OCaml already installed.
* Fri Oct 16 2009 Richard W.M. Jones <rjones@redhat.com> - 3.11.1-3 * Fri Oct 16 2009 Richard W.M. Jones <rjones@redhat.com> - 3.11.1-3
- Add ocamlbyteinfo and ocamlplugininfo programs from Debian. - Add ocamlbyteinfo and ocamlplugininfo programs from Debian.