rpms/ocaml-cil/devel ocaml-cil.spec,1.11,1.12

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Author: rjones

Update of /cvs/pkgs/rpms/ocaml-cil/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv8094

Modified Files:
	ocaml-cil.spec 
Log Message:
Include natively compiled files and *.mli files (RHBZ#521324).


Index: ocaml-cil.spec
===================================================================
RCS file: /cvs/pkgs/rpms/ocaml-cil/devel/ocaml-cil.spec,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -p -r1.11 -r1.12
--- ocaml-cil.spec	25 Jul 2009 19:53:25 -0000	1.11
+++ ocaml-cil.spec	23 Oct 2009 08:23:11 -0000	1.12
@@ -6,7 +6,7 @@
 
 Name:           ocaml-cil
 Version:        1.3.7
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        CIL - Infrastructure for C Program Analysis and Transformation
 
 Group:          Development/Libraries
@@ -96,7 +96,7 @@ for gcc.
 
 
 %build
-make
+make RELEASE=1
 make quicktest
 
 cat > META <<EOF
@@ -137,7 +137,8 @@ export OCAMLFIND_DESTDIR=$RPM_BUILD_ROOT
 mkdir -p $DESTDIR%{perl_vendorlib}
 install -m 0644 lib/*.pm bin/CilConfig.pm $DESTDIR%{perl_vendorlib}
 mkdir -p $OCAMLFIND_DESTDIR
-ocamlfind install cil META obj/$archos/*.{ml,mli,cmi,cmo,cmx,cma,cmxa,o,a}
+ocamlfind install cil META obj/$archos/*.{ml,mli,cmi,cmo,cmx,cma,cmxa,o,a} \
+  src/*.mli
 
 mkdir -p $DESTDIR%{_bindir}
 install -m 0755 bin/cilly $DESTDIR%{_bindir}
@@ -195,6 +196,9 @@ rm -rf $RPM_BUILD_ROOT
 
 
 %changelog
+* Fri Oct 23 2009 Richard W.M. Jones <rjones@xxxxxxxxxx> - 1.3.7-3
+- Include natively compiled files and *.mli files (RHBZ#521324).
+
 * Sat Jul 25 2009 Fedora Release Engineering <rel-eng@xxxxxxxxxxxxxxxxxxxxxxx> - 1.3.7-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
 

_______________________________________________
Fedora-ocaml-list mailing list
Fedora-ocaml-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-ocaml-list

[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [KDE Users]

  Powered by Linux