Attachment 192438 Details for Bug 227254 – shar archive of cad/abc

shar archive of cad/abc

abc.shar (text/plain), 4.04 KB, created by Christian Krämer on 2018-04-11 20:44:48 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Christian Krämer

Created: 2018-04-11 20:44:48 UTC

Size: 4.04 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-src_misc_util_abc__global.h
>#	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-src_misc_util_abc__global.h
>sed 's/^X//' >abc/files/patch-src_misc_util_abc__global.h << '7da6c8cbdbf07c477f7355573928f05e'
>X--- src/misc/util/abc_global.h.orig	2018-04-10 14:33:45 UTC
>X+++ src/misc/util/abc_global.h
>X@@ -97,6 +97,15 @@ ABC_NAMESPACE_HEADER_START
>X ////////////////////////////////////////////////////////////////////////
>X 
>X #ifdef ABC_USE_STDINT_H
>X+
>X+#ifndef __STDC_LIMIT_MACROS
>X+  #define __STDC_LIMIT_MACROS
>X+#endif
>X+
>X+#ifndef __STDC_CONSTANT_MACROS
>X+  #define __STDC_CONSTANT_MACROS
>X+#endif
>X+
>X // If there is stdint.h, assume this is a reasonably-modern platform that
>X // would also have stddef.h and limits.h
>X #include <limits.h>
>7da6c8cbdbf07c477f7355573928f05e
>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
>

Actions: View

Attachments on bug 227254: 192167 | 192205 | 192438