gplcver version 2.12a for Mac OS X 10.5 Leopard
Friday the 16th of May, 2008

    gplcver  most recent diff


      View the most recent changes for the gplcver port at: gplcver.darwinports.com/diff
      Scroll down toward the bottom of the page to get installation instructions for gplcver.
      The raw portfile for gplcver 2.12a is located here:
      http://gplcver.darwinports.com/dports/science/gplcver/Portfile
      Find related portfiles with the unique DarwinPorts.com search feature.
      Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/gplcver
      Google
      Web Darwinports.com



      # $Id: Portfile 32256 2007-12-23 09:18:47Z ryandesign macports.org $

      PortSystem 1.0
      Name: gplcver
      Version: 2.12a
      Category: science
      Maintainers: nomaintainer
      Description: Pragmatic C Software GPL Cver 2001

      Long Description: GPL Cver is a Verilog HDL simulator that is released under the GNU General Public License. GPL Cver is a full 1995 P1364 Verilog standard HDL simulator. It also implements some of the 2001 P1364 standard features including all three PLI interfaces (tf_, acc_ and vpi_) as defined in the 2001 Language Reference Manual (LRM). Cver is a full featured IEEE P1364 Verilog simulator.

      Homepage: http://www.pragmatic-c.com/gpl-cver/
      Platform: darwin
      master_sites http://www.pragmatic-c.com/gpl-cver/downloads
      checksums md5 857a15a9ebc8ef63ece01502509cbeb7 sha1 946bb35b6279646c6e10c309922ed17deb2aca8a rmd160 5af004b345142ac5400c9defc7125bbe127d2c49
      use_bzip2 yes
      distname ${name}-${version}.src

      use_configure no

      build.dir "${worksrcpath}/src"
      build.target -f makefile.osx cver

      patchfiles patch-inst_tst.sh.diff

      post-configure {

      # eliminate unneeded flag with those hope that this
      # Portfile will work with Intel Macs

      reinplace "s|^ARCHFLGS= -mcpu=powerpc||g" ${worksrcpath}/src/makefile.osx
      }

      destroot {

      # install executable

      xinstall -m 755 -W ${worksrcpath} bin/cver ${destroot}${prefix}/bin

      # create directory for everything else

      set docdir "${destroot}${prefix}/share/doc/${name}"
      xinstall -m 755 -d ${docdir}

      # copy doc files

      file copy ${worksrcpath}/COPYING ${docdir}
      file copy ${worksrcpath}/Changelog ${docdir}
      file copy ${worksrcpath}/INSTALL ${docdir}
      file copy ${worksrcpath}/LICENSE ${docdir}
      file copy ${worksrcpath}/NEW.CVER.2001.RELEASE.NOTES ${docdir}
      file copy ${worksrcpath}/OUR_PHILOSOPHY ${docdir}
      file copy ${worksrcpath}/README ${docdir}
      file copy ${worksrcpath}/doc ${docdir}

      # install the systasks man page

      file copy ${worksrcpath}/doc/systasks.1 ${destroot}${prefix}/share/man/man1/
      file delete ${docdir}/systasks.1

      # create directory for everything else

      set instdir "${destroot}${prefix}/share/${name}"
      xinstall -m 755 -d ${instdir}

      # copy files

      file copy ${worksrcpath}/pli_incs ${instdir}
      file copy ${worksrcpath}/pli_src ${instdir}
      file copy ${worksrcpath}/tests_and_examples ${instdir}
      file copy ${worksrcpath}/ver_src ${instdir}

      }

      # Run the installation tests

      test.run yes
      test.cmd "${worksrcpath}/tests_and_examples/install.tst/inst_tst.sh"
      test.target
      test.dir "${worksrcpath}/tests_and_examples/install.tst"


    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/gplcver
      % sudo port install gplcver
      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 gplcver
      ---> Verifying checksum for gplcver
      ---> Extracting gplcver
      ---> Configuring gplcver
      ---> Building gplcver with target all
      ---> Staging gplcver into destroot
      ---> Installing gplcver
    - 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 gplcver with these commands:
      %  man gplcver
      % apropos gplcver
      % which gplcver
      % locate gplcver

     Where to find more information:

    Darwin Ports



    image test