Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv15570/main/finkinfo/sci
Modified Files:
mizar.info
Log Message:
New upstream from tracker
http://sourceforge.net/tracker/index.php?func=detail&aid=1643017&group_id=17203&atid=414256
Index: mizar.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar.info,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -d -r1.6 -r1.7
--- mizar.info 20 Jan 2007 16:58:06 -0000 1.6
+++ mizar.info 4 Feb 2007 03:08:10 -0000 1.7
@@ -1,6 +1,7 @@
Package: mizar
+Depends: mizar-bin, mizar-mml, mizar-doc
Version: 7.8.03-4.76.959
-Revision: 1
+Revision: 2
Description: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
DescDetail: <<
@@ -18,10 +19,10 @@
See the Mizar homepage, http://www.mizar.org, for more information.
The Mizar community maintains a wiki; it is available at
http://wiki.mizar.org .
+
+Installing this package will install the Mizar binaries,
+documentation, and the MML.
<<
-RuntimeVars: <<
-MIZFILES: %p/share/mizar
-<<
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
Homepage: http://www.mizar.org/
Source:
ftp://mizar.uwb.edu.pl/pub/system/ppc-darwin/%n-7.8.03_4.76.959-ppc-darwin.tar
@@ -32,19 +33,93 @@
CompileScript: <<
<<
InstallScript: <<
-mkdir -p %i/bin
-tar Cxfz %i/bin mizbin.tar.gz
-mkdir -p %i/share/doc/mizar
-tar Cxfz %i/share/doc/mizar mizdoc.tar.gz
-mkdir -p %i/share/mizar
-tar Cxfz %i/share/mizar mizshare.tar.gz
-# Clean up unneeded stuff related to emacs -- these files are included
-# in another package (mizar-mode)
-rm %i/share/doc/mizar/.emacs
-rm %i/share/mizar/mizar.el
-# As of January 15, 2007, the graphviz package contains a file called
-# %p/bin/prune; let's mark our prune with a special suffix.
-mv %i/bin/prune %i/bin/prune.mizar
+ mkdir -p %i/bin
+ tar Cxfz %i/bin mizbin.tar.gz
+ mkdir -p %i/share/doc/mizar
+ tar Cxfz %i/share/doc/mizar mizdoc.tar.gz
+ mkdir -p %i/share/mizar
+ tar Cxfz %i/share/mizar mizshare.tar.gz
+ # Clean up unneeded stuff related to emacs -- these files are included
+ # in another package (mizar-mode)
+ rm %i/share/doc/mizar/.emacs
+ rm %i/share/mizar/mizar.el
+ # As of January 15, 2007, the graphviz package contains a file called
+ # %p/bin/prune; let's mark our prune with a special suffix.
+ mv %i/bin/prune %i/bin/prune.mizar
+<<
+SplitOff: <<
+ Package: mizar-bin
+ Conflicts: mizar (<< 7.8.03-4.76.959-2)
+ RuntimeVars: <<
+ MIZFILES: %p/share/mizar
+ <<
+ Files: <<
+ bin/absedt
+ bin/accom
+ bin/addfmsg
+ bin/checkvoc
+ bin/chklab
+ bin/constr
+ bin/edtfile
+ bin/errflag
+ bin/exporter
+ bin/findvoc
+ bin/inacc
+ bin/irrths
+ bin/irrvoc
+ bin/lisppars
+ bin/listvoc
+ bin/makeenv
+ bin/mglue
+ bin/miz2abs
+ bin/miz2prel
+ bin/mizf
+ bin/msplit
+ bin/prune.mizar
+ bin/ratproof
+ bin/relinfer
+ bin/reliters
+ bin/relprem
+ bin/remflags
+ bin/renthlab
+ bin/revedt
+ bin/revf
+ bin/transfer
+ bin/trivdemo
+ bin/verifier
+<<
+<<
+SplitOff2: <<
+ Package: mizar-mml
+ Conflicts: mizar (<< 7.8.03-4.76.959-2)
+ Files: <<
+ share/mizar/abstr
+ share/mizar/miz.xml
+ share/mizar/mizar.dct
+ share/mizar/mizar.msg
+ share/mizar/mml
+ share/mizar/mml.ini
+ share/mizar/mml.lar
+ share/mizar/mml.vct
+ share/mizar/prel
+ <<
<<
+SplitOff3: <<
+ Package: mizar-doc
+ Conflicts: mizar (<< 7.8.03-4.76.959-2)
+ Files: <<
+ share/doc/mizar/example.bib
+ share/doc/mizar/external.bib
+ share/doc/mizar/fm.bib
+ share/doc/mizar/fmbibs.zip
+ share/doc/mizar/mml.txt
+ share/doc/mizar/mmldecl.txt
+ share/doc/mizar/mmldecls.txt
+ share/doc/mizar/replthls.txt
+ share/doc/mizar/replths.txt
+ share/doc/mizar/syntax.txt
+ share/doc/mizar/xml
+ <<
+<<
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier.
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/fink-commits
