./cad/abc [system for sequential logic synthesis and verification]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 1.01.20200108, Package name: abc-1.01.20200108
Maintained by: Alessandro De Laurenzis
Master sites:
Description
ABC is a growing software system for synthesis and verification of binary
sequential logic circuits appearing in synchronous hardware designs. ABC
combines scalable logic optimization based on And-Inverter Graphs (AIGs),
optimal-delay DAG-based technology mapping for look-up tables and standard
cells, and innovative algorithms for sequential synthesis and verification.


Filesize: 5604.718 KB
Version History (View Complete History)
  • (2020-01-17) Updated to version: abc-1.01.20200108
  • (2018-08-08) Package added to openports.se, version abc-1.01.20180722 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2020-01-16 15:33:54 by Stuart Henderson | Files touched by this commit (1)
Log message:
add a comment explaining pre-configure
   2020-01-16 15:32:48 by Stuart Henderson | Files touched by this commit (4)
Log message:
update to newer cad/abc checkout, from maintainer Alessandro De Laurenzis
   2019-07-12 14:44:13 by Stuart Henderson | Files touched by this commit (877)
Log message:
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
   2018-10-24 08:28:14 by Stuart Henderson | Files touched by this commit (740)
Log message:
Add COMPILER lines to c++ ports which currently use the default. Adjust
some existing COMPILER lines with arch restrictions etc. In the usual
case this is now using "COMPILER = base-clang ports-gcc base-gcc" on
ports with c++ libraries in WANTLIB.
This is basically intended to be a noop on architectures using clang
as the system compiler, but help with other architectures where we
currently have many ports knocked out due to building with an unsuitable
compiler -
- some ports require c++11/newer so the GCC version in base that is used
on these archirtectures is too old.
- some ports have conflicts where an executable is built with one compiler
(e.g. gcc from base) but a library dependency is built with a different
one (e.g. gcc from ports), resulted in mixing incompatible libraries in the
same address space.
devel/gmp is intentionally skipped as it's on the path to building gcc -
the c++ library there is unused in ports (and not built by default upstream)
so intending to disable building gmpcxx in a future commit.