Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv14997
Modified Files:
mizar-x86_64.info mizar.patch
Log Message:
Take care of a silly packaging bug in mizar-mode.
Thanks to JF Mertens for the report.
Index: mizar-x86_64.info
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/mizar-x86_64.info,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- mizar-x86_64.info 30 Jan 2010 20:34:11 -0000 1.4
+++ mizar-x86_64.info 20 Apr 2010 14:51:26 -0000 1.5
@@ -2,8 +2,8 @@
Depends: mizar-bin, mizar-mml, mizar-doc
Architecture: x86_64
Epoch: 1
-Version: 7.11.05-4.133.1080
-Revision: 1
+Version: 7.11.05-4.137.1092
+Revision: 2
Description: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
DescDetail: <<
@@ -27,15 +27,15 @@
<<
Maintainer: Jesse Alama <jesse.al...@gmail.com>
Homepage: http://www.mizar.org/
-Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.05_4.133.1080-i386-darwin.tar
-Source-MD5: 7a4d6c7864f16fb5c2ff9f7502ab57ec
+Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.05_4.137.1092-i386-darwin.tar
+Source-MD5: 612b151d728200a7bd0872ad176d3035
Source2: http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/MizarMode.info
Source2-MD5: b669d27408817ee86769efa1c424b1e1
Source3: http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/MizarMode.pdf
Source3-MD5: 54c351365b1d4b1ce3bd0a4c302069a0
BuildDepends: fink (>= 0.24.12)
PatchFile: %n.patch
-PatchFile-MD5: 53cb9587fc4074f281050c593d5646fa
+PatchFile-MD5: 18ca2d1bd347f22f085253c5cbe299b5
PatchScript: sed 's|@PREFIX@|%p|g' < %{PatchFile} | patch -p1
NoSourceDirectory: true
DocFiles: README
Index: mizar.patch
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/mizar.patch,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- mizar.patch 30 Jan 2010 20:11:14 -0000 1.2
+++ mizar.patch 20 Apr 2010 14:51:26 -0000 1.3
@@ -1,6 +1,6 @@
-diff -Naur --exclude='*~' 7.11.05_4.133.1080/emacsen-install
7.11.05_4.133.1080.fink/emacsen-install
---- 7.11.05_4.133.1080/emacsen-install 1970-01-01 01:00:00.000000000 +0100
-+++ 7.11.05_4.133.1080.fink/emacsen-install 2009-12-20 12:55:12.000000000
+0000
+diff -Naur --exclude='*~' mizar/emacsen-install mizar.fink/emacsen-install
+--- mizar/emacsen-install 1970-01-01 01:00:00.000000000 +0100
++++ mizar.fink/emacsen-install 2010-04-20 15:36:01.000000000 +0100
@@ -0,0 +1,33 @@
+#!/bin/bash -e
+
@@ -24,20 +24,20 @@
+
+echo >&2 -n "install/mizar-mode: Byte-compiling for ${FLAVOR}..."
+mkdir -p @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
-+ln -s @PREFIX@/share/emacs/site-lisp/mizar/mizar.el \
-+ @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
++ln -s -f @PREFIX@/share/emacs/site-lisp/mizar/mizar.el \
++ @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
+
+cd @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
+
-+(${FLAVOR} --no-init-file --no-site-file --batch -f batch-byte-compile
mizar.el 2>&1 >&1) | gzip -9qf >
@PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
++(${FLAVOR} --no-init-file --no-site-file --batch -f batch-byte-compile
mizar.el >&1 >&1) | gzip -9qf >
@PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
+
+echo >&2 "done."
-+echo >&2 "install/mizar-mode: Compilation log saved in
@PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz."
++echo >&2 "install/mizar-mode: Compilation log saved in
@PREFIX@/share/doc/mizar-ode/CompilationLog-${FLAVOR}.gz."
+
+exit 0
-diff -Naur --exclude='*~' 7.11.05_4.133.1080/emacsen-remove
7.11.05_4.133.1080.fink/emacsen-remove
---- 7.11.05_4.133.1080/emacsen-remove 1970-01-01 01:00:00.000000000 +0100
-+++ 7.11.05_4.133.1080.fink/emacsen-remove 2009-12-20 11:59:40.000000000
+0000
+diff -Naur --exclude='*~' mizar/emacsen-remove mizar.fink/emacsen-remove
+--- mizar/emacsen-remove 1970-01-01 01:00:00.000000000 +0100
++++ mizar.fink/emacsen-remove 2010-04-20 15:36:10.000000000 +0100
@@ -0,0 +1,14 @@
+#!/bin/bash -e
+
@@ -47,7 +47,7 @@
+
+echo "remove/mizar-mode: Handling removal for emacsen flavor ${FLAVOR}"
+
-+echo >&2 -n "remove/mizar-mode: Purging compilation log and byte-compiled
files or ${FLAVOR}..."
++echo >&2 -n "remove/mizar-mode: Purging compilation log and byte-compiled
files r ${FLAVOR}..."
+rm -f @PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
+rm -Rf @PREFIX@/share/${FLAVOR}/site-lisp/mizar
+echo >&2 "done."
------------------------------------------------------------------------------
Download Intel® Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
