|
|||||||||
Saturday the 17th of May, 2008 |
|||||||||
veriwell most recent diff
Scroll down toward the bottom of the page to get installation instructions for veriwell. The raw portfile for veriwell 2.8.5 is located here: http://veriwell.darwinports.com/dports/science/veriwell/Portfile Find related portfiles with the unique DarwinPorts.com search feature. Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/veriwell # $Id: Portfile 30251 2007-10-23 02:18:30Z jmpp PortSystem 1.0 Name: veriwell Version: 2.8.5 Category: science Maintainers: nomaintainer Description: VeriWell Verilog Simulator Long Description: VeriWell is a full Verilog simulator. It supports nearly all of the IEEE1364-1995 standard, as well as PLI 1.0. Yes, VeriWell *is* the same simulator that was sold by Wellspring Solutions in the mid-1990 and was included with the Thomas and Moorby book Homepage: http://sourceforge.net/projects/veriwell Platform: darwin master_sites sourceforge checksums md5 1c1c6fb05009172d2677e34f0e511a37 distname ${name}-${version} depends_lib port:help2man # The following prevent conflicts with other Verilog simulators # that may have installed their own copies of: # acc_user.h veriuser.c veriuser.h configure.args --includedir=${prefix}/include/veriwell 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/veriwellYou 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 veriwell with these commands: % man veriwell Where to find more information:
|
![]() |
![]() Digg veriwell on MacOSX
Other Helpful SitesMacOSForgeDebian Packages MacPorts - SVN Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories
aqua
archivers audio benchmarks cad comms cross databases devel editors emulators games genealogy gnome gnustep graphics irc java kde lang math multimedia net news palm perl python ruby science security shells sysutils textproc www x11 xfce zope
Current CVS DownloadsDarwin Ports Current :nightly CVS snapshot OpenDarwin CVSWeb SSH Key Gen |
|||||||
| |




