rpms/coq/F-8 coq.spec,1.6,1.7 import.log,1.6,1.7
Alan Dunn
amdunn at fedoraproject.org
Fri Oct 24 11:41:22 UTC 2008
- Previous message: rpms/audacity/devel README,1.20,1.20.2.1
- Next message: rpms/gdal/devel .cvsignore, 1.9, 1.10 gdal.spec, 1.51, 1.52 import.log, 1.4, 1.5 sources, 1.9, 1.10 gdal-perl510.patch, 1.1, NONE gdal-sincos.patch, 1.1, NONE
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Author: amdunn
Update of /cvs/pkgs/rpms/coq/F-8
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv3672/F-8
Modified Files:
coq.spec import.log
Log Message:
Added Coq .v files into the main package at user request.
Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/F-8/coq.spec,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- coq.spec 10 Sep 2008 17:16:11 -0000 1.6
+++ coq.spec 24 Oct 2008 11:40:52 -0000 1.7
@@ -25,7 +25,7 @@
Name: coq
Version: 8.1pl3
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Coq proof management system
Group: Applications/Engineering
@@ -216,8 +216,10 @@
# Fix permissions in the documentation
chmod -R a+rX refman stdlib
-# Clear any execstack permissions that binaries may have
-execstack -c bin/*
+# Clear any execstack permissions that ELF binaries may have
+for f in bin/*; do
+file $f | grep "ELF" && execstack -c $f
+done
%install
rm -rf %{buildroot}
@@ -238,6 +240,12 @@
--dir=%{buildroot}%{_datadir}/applications \
coqide.desktop
+# Install main Coq .v files
+
+for d in `find contrib theories -mindepth 1 -maxdepth 1 -type d`; do
+ls $d/*.v 1>/dev/null 2>&1 && mkdir -p %{buildroot}%{coqdatadir}/$d && cp -pr $d/*.v %{buildroot}%{coqdatadir}/$d 2>/dev/null || true
+done
+
# Install tutorial code
%define tutorialcodedir %{coqdatadir}/tutorial
@@ -272,7 +280,7 @@
%defattr(-,root,root,-)
%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL KNOWN-BUGS LICENSE README
%doc %{_mandir}/man1/*
-%{_datadir}/coq
+%{coqdatadir}
%{_bindir}/coq*
%{_bindir}/gallina
# %%{_bindir}/coq-parser
@@ -281,9 +289,9 @@
# %%endif
# Exclude ide files to put in a separate package
%exclude %{_bindir}/coqide*
-%exclude %{_datadir}/coq/ide
+%exclude %{coqdatadir}/ide
%if %{opt}
-%exclude %{_datadir}/coq/*.cmxa
+%exclude %{coqdatadir}/*.cmxa
%endif
%{tex_dir}/coq*
# We DO want to replace any such file with this name - it will only be
@@ -323,6 +331,8 @@
%doc README.coq-emacs
%changelog
+* Wed Oct 22 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-5
+- Added Coq .v files into the main package at user request.
* Tue Sep 09 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-4
- Added creation of prelink blacklist for any bytecode files.
- Fixed execstack status for binaries.
Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/coq/F-8/import.log,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- import.log 10 Sep 2008 17:16:11 -0000 1.6
+++ import.log 24 Oct 2008 11:40:52 -0000 1.7
@@ -4,3 +4,4 @@
coq-8_1pl3-2_fc8_1:F-8:coq-8.1pl3-2.fc8.1.src.rpm:1216558147
coq-8_1pl3-3_fc8:F-8:coq-8.1pl3-3.fc8.src.rpm:1217987468
coq-8_1pl3-4_fc8:F-8:coq-8.1pl3-4.fc8.src.rpm:1221066654
+coq-8_1pl3-5_fc8:F-8:coq-8.1pl3-5.fc8.src.rpm:1224848194
- Previous message: rpms/audacity/devel README,1.20,1.20.2.1
- Next message: rpms/gdal/devel .cvsignore, 1.9, 1.10 gdal.spec, 1.51, 1.52 import.log, 1.4, 1.5 sources, 1.9, 1.10 gdal-perl510.patch, 1.1, NONE gdal-sincos.patch, 1.1, NONE
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the scm-commits
mailing list