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-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. |