Veriwell version 2.8.6 - How to Download and Install on Mac OS X
Saturday the 7th of November, 2009

    veriwell  most recent diff


    version 2.8.6

      View the most recent changes for the veriwell port at: veriwell.darwinports.com/diff
      Scroll down toward the bottom of the page to get installation instructions for veriwell.
      The raw portfile for veriwell 2.8.6 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


      The veriwell Portfile 39712 2008-09-01 05:44:38Z ryandesign macports.org $

      PortSystem 1.0

      Name: veriwell
      Version: 2.8.6
      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 adffd9b8e2b461d75ab01db2bdb1563b sha1 f98b11ca09fe1fc38b9c9be33d2bf127e0fee42d rmd160 9ca3ad3b71a8de4f50108738317be244aa350461

      depends_build port:help2man
      depends_lib port:bzip2 port:readline port:zlib

      use_parallel_build yes

      # 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

      post-destroot {
      set docdir ${destroot}${prefix}/share/doc/${name}-${version}
      xinstall -d ${docdir}
      xinstall -W ${worksrcpath} ChangeLog README TODO ${docdir}
      }

      livecheck.regex "VeriWell ${name} (.*) released.*"

    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/veriwell
      % sudo port install veriwell
      Password:
    You 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:

      ---> Fetching veriwell
      ---> Verifying checksum for veriwell
      ---> Extracting veriwell
      ---> Configuring veriwell
      ---> Building veriwell with target all
      ---> Staging veriwell into destroot
      ---> Installing veriwell
    - 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
      % apropos veriwell
      % which veriwell
      % locate veriwell

     Where to find more information:

    Darwin Ports



    Lightbox this page.