|
|||||||||
Monday the 23rd of November, 2009 |
|||||||||
mozart-doc most recent diffversion 1.3.2
Scroll down toward the bottom of the page to get installation instructions for mozart-doc. The raw portfile for mozart-doc 1.3.2 is located here: http://mozart-doc.darwinports.com/dports/lang/mozart-doc/Portfile Find related portfiles with the unique DarwinPorts.com search feature. Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/mozart-doc The mozart-doc Portfile 50980 2009-05-14 19:41:55Z and.damore PortSystem 1.0 Name: mozart-doc Version: 1.3.2 Revision: 1 Category: lang Platform: darwin Maintainers: bfulgham Homepage: http://www.mozart-oz.org Description: Mozart-Oz documentation Long Description: The Mozart system is a development platform focused on open distributed computing and constraint-based inferrence. The system provides excellent support for logic and constraint programming, making it an excellent choice for implementing multi-agent systems. The language has recently been popularized by the book "Concepts, Techniques, and Models of Computer Progamming." This port installs the documentation and help files. Master Sites: http://www.mozart-oz.org/download/mozart-ftp/store/1.3.2-2006-06-15-tar distfiles mozart-1.3.2.20060615-doc.tar.gz Checksums: md5 052a5c82f244bab77174e32fbe7e8996 worksrcdir mozart use_configure no build.pre_args "-v" pre-destroot { # These entries are part of the stdlib package file delete -force ${worksrcpath}/doc/mozart-ozmake file delete -force ${worksrcpath}/doc/mozart-stdlib file delete -force ${worksrcpath}/examples file delete -force ${worksrcpath}/share/doc/.htaccess } destroot { file copy ${worksrcpath} ${destroot}${prefix}/share } If you haven't already installed Darwin Ports, you can find easy instructions for doing so at the main Darwin Ports page. Once Darwin Ports has been installed, in a terminal window and while online, type the following and hit return:
% cd /opt/local/bin/portslocation/dports/mozart-docYou will then be prompted for your root password, which you should enter. You may have to wait for a few minutes while the software is retrieved from the network and installed for you. Y ou should see something that looks similar to: Make sure that you do not close the terminal window while Darwin Ports is working. Once the software has been installed, you can find further information about using mozart-doc with these commands: % man mozart-doc Where to find more information:
|
![]() |
![]()
Order Snow Leopard MacOSX 10.6 for only $29!
Other Helpful SitesMacOSForgeDebian Packages MacPorts - SVN Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories
accounting
amusements aqua archivers audio benchmarks biology blinkenlights cad chat chinese comms compression cross crypto databases devel editors education electronics emacs emulators erlang finance fonts framework fuse games genealogy gis gnome gnustep graphics gtk haskell iphone irc japanese java kde kde4 lang macports math mercurial ml mono multimedia net network news ocaml office palm parallel perl php pim project python reporting rox ruby russian scheme science security shells spelling squeak sysutils tcl tex textproc tk unicode vnc win32 wsn www x11 x11-font x11-wm xfce zope
Current SVN DownloadsDarwin Ports Current :nightly SVN snapshot SSH Key Gen See also: GNU-Darwin Ports for GNU-only software |
|||||||
| |




