FreeBSD Bugzilla – Attachment 192205 Details for
Bug 227254
[New Port] cad/abc: System for Sequential Synthesis and Verification
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
shar archive of cad/abc
abc.shar (text/plain), 3.29 KB, created by
Christian Krämer
on 2018-04-04 10:11:56 UTC
(
hide
)
Description:
shar archive of cad/abc
Filename:
MIME Type:
Creator:
Christian Krämer
Created:
2018-04-04 10:11:56 UTC
Size:
3.29 KB
patch
obsolete
># This is a shell archive. Save it in a file, remove anything before ># this line, and then unpack it by entering "sh file". Note, it may ># create directories; files and directories will be owned by you and ># have default permissions. ># ># This archive contains: ># ># abc ># abc/files ># abc/files/patch-Makefile ># abc/distinfo ># abc/Makefile ># abc/pkg-plist ># abc/pkg-descr ># >echo c - abc >mkdir -p abc > /dev/null 2>&1 >echo c - abc/files >mkdir -p abc/files > /dev/null 2>&1 >echo x - abc/files/patch-Makefile >sed 's/^X//' >abc/files/patch-Makefile << '1b142a704fabe9aebcfe282fc04edc4c' >X--- Makefile.orig 2018-03-30 08:04:05 UTC >X+++ Makefile >X@@ -1,6 +1,4 @@ >X >X-CC := gcc >X-CXX := g++ >X LD := $(CXX) >X >X MSG_PREFIX ?= >X@@ -52,8 +50,6 @@ endif >X >X ARCHFLAGS := $(ARCHFLAGS) >X >X-OPTFLAGS ?= -g -O >X- >X CFLAGS += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(ARCHFLAGS) >X ifneq ($(findstring arm,$(shell uname -m)),) >X CFLAGS += -DABC_MEMALIGN=4 >1b142a704fabe9aebcfe282fc04edc4c >echo x - abc/distinfo >sed 's/^X//' >abc/distinfo << '22aa449c761268aaa65c5be59f1b69c0' >XTIMESTAMP = 1522523961 >XSHA256 (berkeley-abc-abc-1.01.g20180330-1fc200f_GH0.tar.gz) = 857aeb3f4d7a6774572005faf81f808d086a8ef6f0780b71f32af65ae8402db5 >XSIZE (berkeley-abc-abc-1.01.g20180330-1fc200f_GH0.tar.gz) = 5584614 >22aa449c761268aaa65c5be59f1b69c0 >echo x - abc/Makefile >sed 's/^X//' >abc/Makefile << '7b54ff26f435d3a6f6da8710181f5d36' >X# $FreeBSD$ >X >XPORTNAME= abc >XPORTVERSION= 1.01.g20180330 >XCATEGORIES= cad >X >XMAINTAINER= uddka@student.kit.edu >XCOMMENT= System for Sequential Synthesis and Verification >X >XLICENSE= MIT >XLICENSE_FILE= ${WRKSRC}/copyright.txt >X >XUSES= gmake >X >XUSE_GITHUB= yes >XGH_ACCOUNT= berkeley-abc >XGH_TAGNAME= 1fc200f >X >XMAKE_ENV= ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1 >X >XOPTIONS_DEFINE=DEBUG READLINE THREADS >XOPTIONS_DEFAULT= READLINE THREADS >X >XREADLINE_USES= readline >XREADLINE_MAKE_ENV_OFF= ABC_USE_NO_READLINE=1 >X >XTHREADS_MAKE_ENV_OFF= ABC_USE_NO_PTHREADS=1 >X >Xdo-install: >X ${INSTALL_PROGRAM} ${WRKSRC}/abc ${STAGEDIR}${PREFIX}/bin >X ${MKDIR} ${STAGEDIR}${DOCSDIR} >X ${INSTALL_DATA} ${WRKSRC}/README.md ${STAGEDIR}${DOCSDIR} >X ${INSTALL_DATA} ${WRKSRC}/readmeaig ${STAGEDIR}${DOCSDIR} >X >X.include <bsd.port.mk> >7b54ff26f435d3a6f6da8710181f5d36 >echo x - abc/pkg-plist >sed 's/^X//' >abc/pkg-plist << '4aa7cb24086e129acdee5196fb6b1700' >Xbin/abc >X%%DOCSDIR%%/README.md >X%%DOCSDIR%%/readmeaig >4aa7cb24086e129acdee5196fb6b1700 >echo x - abc/pkg-descr >sed 's/^X//' >abc/pkg-descr << '2c458388bbb7a266a9eaf3918dedf1b0' >XABC is a growing software system for synthesis and verification of binary >Xsequential logic circuits appearing in synchronous hardware designs. ABC >Xcombines scalable logic optimization based on And-Inverter Graphs (AIGs), >Xoptimal-delay DAG-based technology mapping for look-up tables and standard >Xcells, and innovative algorithms for sequential synthesis and verification. >X >XABC provides an experimental implementation of these algorithms and a >Xprogramming environment for building similar applications. Future development >Xwill focus on improving the algorithms and making most of the packages >Xstand-alone. This will allow the user to customize ABC for their needs as if >Xit were a tool-box rather than a complete tool. >X >XWWW: https://people.eecs.berkeley.edu/~alanmi/abc/ >2c458388bbb7a266a9eaf3918dedf1b0 >exit >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 227254
:
192167
|
192205
|
192438