Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv18779/main/finkinfo/sci
Modified Files:
mizar-mode.info mizar-mode.patch
Log Message:
New upstream version from tracker 1636387
Index: mizar-mode.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-mode.info,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- mizar-mode.info 4 Nov 2006 20:20:33 -0000 1.2
+++ mizar-mode.info 16 Jan 2007 03:54:03 -0000 1.3
@@ -1,22 +1,22 @@
Package: mizar-mode
Description: Work with Mizar files in Emacs
-Version: 2006.09
-Revision: 2
+Version: 2007.01
+Revision: 1
Depends: emacsen
-Recommends: mizar
+Recommends: mizar, mizar-gab
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
License: GPL
Homepage: http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MizarMode
InfoDocs: MizarMode
Source: http://www.stanford.edu/~alama/%n-%v.tar.gz
-Source-MD5: ab767947b66324e70ea4b2da027503b9
+Source-MD5: 6d8fb8228806f6971cf9868eac1ecc44
PatchScript: sed 's|@PREFIX@|%p|g' < %a/%n.patch | patch -p1
DocFiles: FAQ README_BROWSING.txt .abbrev_defs:abbrev_defs
SourceDirectory: mizar-mode
CompileScript: make -C doc info
InstallScript: <<
-mkdir -p %i/share/emacs/site-lisp/mizar-mode
-install -m 644 mizar.el %i/share/emacs/site-lisp/mizar-mode
+mkdir -p %i/share/emacs/site-lisp/mizar
+install -m 644 mizar.el %i/share/emacs/site-lisp/mizar
mkdir -p %i/share/info
install -m 644 doc/MizarMode.info %i/share/info/MizarMode
@@ -44,7 +44,7 @@
long-term and large-scale formalization effort.
MizarMode has been designed with the aim to facilitate this kind of
-proof development by a number of 'code-generating', `code-browsing'
+proof development by a number of `code-generating', `code-browsing'
and `code-searching' methods or tools programmed or integrated within
it. These methods and tools now include e.g. the automated generation
of proof skeletons, proof advice using trained machine learning tools
@@ -85,4 +85,5 @@
Finally, consider using the abbreviations defined in
%p/share/doc/mizar-mode/abbrev_defs; they may help make entering Mizar
texts easier.
-<<
\ No newline at end of file
+<<
+
Index: mizar-mode.patch
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-mode.patch,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- mizar-mode.patch 28 Sep 2006 17:25:49 -0000 1.1
+++ mizar-mode.patch 16 Jan 2007 03:54:03 -0000 1.2
@@ -1,6 +1,27 @@
-diff -Naur --exclude='*~' mizar-mode/fink/emacsen-install
mizar-mode.fink/fink/emacsen-install
+diff -Naur --exclude='*~' --exclude=CVS mizar-mode/doc/MizarMode.texi
mizar-mode.fink/doc/MizarMode.texi
+--- mizar-mode/doc/MizarMode.texi 2005-10-02 22:27:45.000000000 -0700
++++ mizar-mode.fink/doc/MizarMode.texi 2007-01-15 17:40:41.000000000 -0800
+@@ -18,14 +18,10 @@
+ @set dosversion 21.2
+ @set last-update Sun Dec 12 2004
+
[EMAIL PROTECTED]
[EMAIL PROTECTED]
+-START-INFO-DIR-ENTRY
[EMAIL PROTECTED] Emacs
[EMAIL PROTECTED]
+ * Mizar Mode: (MizarMode). Emacs Authoring Environment for Mizar
+-END-INFO-DIR-ENTRY
[EMAIL PROTECTED] format
[EMAIL PROTECTED] ifinfo
+-
[EMAIL PROTECTED] direntry
+
+ @finalout
+ @titlepage
+diff -Naur --exclude='*~' --exclude=CVS mizar-mode/fink/emacsen-install
mizar-mode.fink/fink/emacsen-install
--- mizar-mode/fink/emacsen-install 1969-12-31 16:00:00.000000000 -0800
-+++ mizar-mode.fink/fink/emacsen-install 2006-09-20 15:27:23.000000000
-0700
++++ mizar-mode.fink/fink/emacsen-install 2007-01-15 16:41:45.000000000
-0800
@@ -0,0 +1,34 @@
+#!/bin/bash -e
+#
@@ -25,10 +46,10 @@
+fi
+
+echo >&2 -n "install/mizar-mode: Byte-compiling for ${FLAVOR}..."
-+mkdir -p @PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode;
-+ln -s @PREFIX@/share/emacs/site-lisp/mizar-mode/mizar.el
@PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode;
++mkdir -p @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
++ln -s @PREFIX@/share/emacs/site-lisp/mizar/mizar.el
@PREFIX@/share/${FLAVOR}/site-lisp/mizar;
+
-+cd @PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode;
++cd @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
+
+(${FLAVOR} --no-init-file --no-site-file --batch -f batch-byte-compile
mizar.el 2>&1) | gzip -9qf >
@PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
+
@@ -36,9 +57,9 @@
+echo >&2 "install/mizar-mode: Compilation log saved in
@PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz."
+
+exit 0
-diff -Naur --exclude='*~' mizar-mode/fink/emacsen-remove
mizar-mode.fink/fink/emacsen-remove
+diff -Naur --exclude='*~' --exclude=CVS mizar-mode/fink/emacsen-remove
mizar-mode.fink/fink/emacsen-remove
--- mizar-mode/fink/emacsen-remove 1969-12-31 16:00:00.000000000 -0800
-+++ mizar-mode.fink/fink/emacsen-remove 2006-09-20 14:37:01.000000000
-0700
++++ mizar-mode.fink/fink/emacsen-remove 2007-01-15 16:47:44.000000000
-0800
@@ -0,0 +1,21 @@
+#!/bin/bash -e
+#
@@ -57,7 +78,9 @@
+
+echo >&2 -n "remove/mizar-mode: Purging compilation log and byte-compiled
files for ${FLAVOR}..."
+rm -f @PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
-+rm -Rf @PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode
++rm -Rf @PREFIX@/share/${FLAVOR}/site-lisp/mizar
+echo >&2 "done."
+
+exit 0
+
+
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/fink-commits
