packages: ocaml-gmp/ocaml-gmp-make.patch (NEW), ocaml-gmp/ocaml-gmp.spec (N...
qboosh
qboosh at pld-linux.org
Thu Mar 15 17:42:48 CET 2012
Author: qboosh Date: Thu Mar 15 16:42:48 2012 GMT
Module: packages Tag: HEAD
---- Log message:
- new; make patch based on Debian's
---- Files affected:
packages/ocaml-gmp:
ocaml-gmp-make.patch (NONE -> 1.1) (NEW), ocaml-gmp.spec (NONE -> 1.1) (NEW)
---- Diffs:
================================================================
Index: packages/ocaml-gmp/ocaml-gmp-make.patch
diff -u /dev/null packages/ocaml-gmp/ocaml-gmp-make.patch:1.1
--- /dev/null Thu Mar 15 17:42:48 2012
+++ packages/ocaml-gmp/ocaml-gmp-make.patch Thu Mar 15 17:42:43 2012
@@ -0,0 +1,113 @@
+--- mlgmp/Makefile.orig 2012-02-24 09:17:29.000000000 +0100
++++ mlgmp/Makefile 2012-03-15 16:20:15.388419319 +0100
+@@ -5,7 +5,9 @@
+ GMP_INCLUDES= -I/opt/gmp-4.1.2/include -I/users/absint2/local/include -I$(HOME)/packages/gmp/include
+
+ GMP_LIBDIR=/opt/gmp-4.1.2/lib
+-DESTDIR= $(OCAML_LIBDIR)/gmp
++PREFIX= $(OCAML_LIBDIR)
++PKGDIR= $(PREFIX)/gmp
++STUBDIR= $(PREFIX)/stublibs
+
+ #RLIBFLAGS= -cclib "-Wl,-rpath $(GMP_LIBDIR)" # Linux, FreeBSD
+ #RLIBFLAGS= -cclib "-Wl,-R $(GMP_LIBDIR)" # Solaris
+@@ -15,33 +17,52 @@
+ -cclib -lmpfr -cclib -lgmp -cclib -L$(DESTDIR)
+
+ #CC= icc
+-CFLAGS_MISC= -Wall -Wno-unused -Werror -g -O3
++CFLAGS_MISC= -Wall -Wno-unused -Werror -g -O3 -fPIC
+ #CFLAGS_MISC=
+ CFLAGS_INCLUDE= -I $(OCAML_LIBDIR) $(GMP_INCLUDES)
+ CFLAGS= $(CFLAGS_MISC) $(CFLAGS_INCLUDE)
+
+ OCAMLC= ocamlc -g
+ OCAMLOPT= ocamlopt
++OCAMLMKLIB= ocamlmklib
+ OCAMLFLAGS=
+
+ CMODULES= mlgmp_z.c mlgmp_q.c mlgmp_f.c mlgmp_fr.c mlgmp_random.c mlgmp_misc.c
+ CMODULES_O= $(CMODULES:%.c=%.o)
+
+-LIBS= libmlgmp.a gmp.a gmp.cma gmp.cmxa gmp.cmi
+-
+ PROGRAMS= test_creal test_creal.opt essai essai.opt toplevel\
+ test_suite test_suite.opt
+-TESTS= test_suite test_suite.opt
++
++C_STATIC= libgmpstub.a
++C_SHARED= dllgmpstub.so
++
++HAS_OPT=
++BYTE_LIBS= gmp.cma gmp.cmi
++BYTE_TESTS= test_suite
++
++ifdef HAS_OPT
++ OPT_LIBS= gmp.cmxa
++ OPT_CMX= gmp.cmx
++ OPT_TESTS= test_suite.opt
++else
++ OPT_LIBS=
++ OPT_CMX=
++ OPT_TESTS=
++endif
++
++LIBS = $(C_SHARED) $(BYTE_LIBS) $(OPT_LIBS)
+
+ all: $(LIBS) tests
+
+ install: all
+- -mkdir $(DESTDIR)
+- cp $(LIBS) gmp.mli $(DESTDIR)
++ install -d $(DESTDIR)$(PKGDIR)
++ install -m 0644 -c $(BYTE_LIBS) $(OPT_LIBS) *.a gmp.mli $(DESTDIR)$(PKGDIR)
++ install -d $(DESTDIR)$(STUBDIR)
++ install -m 0755 -c $(C_SHARED) $(DESTDIR)$(STUBDIR)
+
+-tests: $(LIBS) $(TESTS)
++tests: $(LIBS) $(BYTE_TESTS) $(OPT_TESTS)
+ ./test_suite
+- ./test_suite.opt
++ if [ -e test_suite.opt ]; then ./test_suite.opt ; fi
+
+ %.i: %.c
+ $(CC) $(CFLAGS) -E $*.c > $*.i
+@@ -63,15 +84,9 @@
+
+ $(CMODULES_O): conversions.c config.h
+
+-libmlgmp.a: $(CMODULES_O)
+- $(AR) -rc $@ $+
+- $(RANLIB) $@
+-
+-gmp.cma: gmp.cmo libmlgmp.a
+- $(OCAMLC) $(OCAMLFLAGS) -a gmp.cmo -cclib -lmlgmp $(LIBFLAGS) -o $@
+-
+-gmp.a gmp.cmxa: gmp.cmx libmlgmp.a
+- $(OCAMLOPT) $(OCAMLFLAGS) -a gmp.cmx -cclib -lmlgmp $(LIBFLAGS) -o $@
++dllgmpstub.so libgmpstub.a gmp.cma gmp.cmxa: gmp.cmo $(OPT_CMX) $(CMODULES_O)
++ $(OCAMLMKLIB) $(OCAMLFLAGS) -o gmp -oc gmpstub gmp.cmo \
++ $(OPT_CMX) $(CMODULES_O) -lgmp -lmpfr
+
+ pretty_gmp.cmo: pretty_gmp.cmi gmp.cmo
+
+@@ -85,16 +100,16 @@
+ $(OCAMLOPT) $+ -o $@
+
+ test_creal: gmp.cma creal.cmo test_creal.cmo
+- $(OCAMLC) -custom $+ -o $@
++ $(OCAMLC) $+ -o $@
+
+ test_creal.opt: gmp.cmxa creal.cmx test_creal.cmx
+ $(OCAMLOPT) $+ -o $@
+
+ test_suite: gmp.cma test_suite.cmo
+- $(OCAMLC) -custom $+ -o $@
++ $(OCAMLC) -custom $+ -o $@ -cclib -L.
+
+ test_suite.opt: gmp.cmxa test_suite.cmx
+- $(OCAMLOPT) $+ -o $@
++ $(OCAMLOPT) $+ -o $@ -cclib -L.
+
+ clean:
+ rm -f *.o *.cm* $(PROGRAMS) *.a
================================================================
Index: packages/ocaml-gmp/ocaml-gmp.spec
diff -u /dev/null packages/ocaml-gmp/ocaml-gmp.spec:1.1
--- /dev/null Thu Mar 15 17:42:48 2012
+++ packages/ocaml-gmp/ocaml-gmp.spec Thu Mar 15 17:42:43 2012
@@ -0,0 +1,99 @@
+# $Revision$, $Date$
+Summary: GMP binding for OCaml
+Summary(pl.UTF-8): Wiązania GMP dla OCamla
+Name: ocaml-gmp
+Version: 20120224
+Release: 1
+License: LGPL v2+
+Group: Libraries
+Source0: http://www-verimag.imag.fr/~monniaux/download/mlgmp_%{version}.tar.gz
+# Source0-md5: 7001db70f5fed91f230b459425129f96
+Patch0: %{name}-make.patch
+URL: http://www-verimag.imag.fr/~monniaux/programmes.html.en
+BuildRequires: gmp-devel >= 5.0.1
+BuildRequires: mpfr-devel >= 3.0.1
+BuildRequires: ocaml >= 1:3.11.2
+Requires: gmp >= 5.0.1
+Requires: mpfr >= 3.0.1
+%requires_eq ocaml-runtime
+BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+This package contains files needed to run bytecode executables using
+MLGMP library.
+
+%description -l pl.UTF-8
+Pakiet ten zawiera binaria potrzebne do uruchamiania programów
+używających biblioteki MLGMP.
+
+%package devel
+Summary: GMP binding for OCaml - development part
+Summary(pl.UTF-8): Wiązania GMP dla OCamla - cześć programistyczna
+Group: Development/Libraries
+Requires: %{name} = %{version}-%{release}
+%requires_eq ocaml
+
+%description devel
+This package contains files needed to develop OCaml programs using
+MLGML library.
+
+%description devel -l pl.UTF-8
+Pakiet ten zawiera pliki niezbędne do tworzenia programów używających
+biblioteki MLGMP.
+
+%prep
+%setup -q -n mlgmp
+%patch0 -p1
+
+%build
+# clean up precompiled files
+%{__make} clean
+
+%{__make} \
+ CC="%{__cc} %{rpmcflags} -fPIC" \
+ CFLAGS_MISC="%{rpmcflags} -fPIC -Wall -Wno-unused -Werror" \
+ GMP_INCLUDES= \
+ HAS_OPT=1
+
+%install
+rm -rf $RPM_BUILD_ROOT
+
+%{__make} install \
+ DESTDIR=$RPM_BUILD_ROOT \
+ HAS_OPT=1
+
+install -d $RPM_BUILD_ROOT%{_libdir}/ocaml/site-lib/gmp
+cat > $RPM_BUILD_ROOT%{_libdir}/ocaml/site-lib/gmp/META <<EOF
+requires = ""
+version = "%{version}"
+directory = "+gmp"
+archive(byte) = "gmp.cma"
+archive(native) = "gmp.cmxa"
+linkopts = ""
+EOF
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%doc ChangeLog FAQ.txt README
+%attr(755,root,root) %{_libdir}/ocaml/stublibs/dllgmpstub.so
+
+%files devel
+%defattr(644,root,root,755)
+%doc *.mli
+%dir %{_libdir}/ocaml/gmp
+%{_libdir}/ocaml/gmp/gmp.a
+%{_libdir}/ocaml/gmp/gmp.cm[ixa]*
+%{_libdir}/ocaml/gmp/libgmpstub.a
+%{_libdir}/ocaml/site-lib/gmp
+
+%define date %(echo `LC_ALL="C" date +"%a %b %d %Y"`)
+%changelog
+* %{date} PLD Team <feedback at pld-linux.org>
+All persons listed below can be reached at <cvs_login>@pld-linux.org
+
+$Log$
+Revision 1.1 2012/03/15 16:42:43 qboosh
+- new; make patch based on Debian's
================================================================
More information about the pld-cvs-commit
mailing list