From owner-svn-ports-all@freebsd.org Tue Apr 24 07:53:30 2018 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 52A02FBF3F6; Tue, 24 Apr 2018 07:53:30 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 02570789C8; Tue, 24 Apr 2018 07:53:30 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id F154B1064B; Tue, 24 Apr 2018 07:53:29 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id w3O7rTOG051483; Tue, 24 Apr 2018 07:53:29 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id w3O7rTWW051477; Tue, 24 Apr 2018 07:53:29 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201804240753.w3O7rTWW051477@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Tue, 24 Apr 2018 07:53:29 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r468187 - in head/cad: . abc abc/files X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/cad: . abc abc/files X-SVN-Commit-Revision: 468187 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.25 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 24 Apr 2018 07:53:30 -0000 Author: yuri Date: Tue Apr 24 07:53:29 2018 New Revision: 468187 URL: https://svnweb.freebsd.org/changeset/ports/468187 Log: New port: cad/abc: System for sequential synthesis and verification PR: 227254 Submitted by: Christian Krämer Added: head/cad/abc/ head/cad/abc/Makefile (contents, props changed) head/cad/abc/distinfo (contents, props changed) head/cad/abc/files/ head/cad/abc/files/patch-Makefile (contents, props changed) head/cad/abc/files/patch-src_misc_util_abc__global.h (contents, props changed) head/cad/abc/pkg-descr (contents, props changed) Modified: head/cad/Makefile Modified: head/cad/Makefile ============================================================================== --- head/cad/Makefile Tue Apr 24 07:28:36 2018 (r468186) +++ head/cad/Makefile Tue Apr 24 07:53:29 2018 (r468187) @@ -4,6 +4,7 @@ COMMENT = CAD tools SUBDIR += NASTRAN-95 + SUBDIR += abc SUBDIR += admesh SUBDIR += adms SUBDIR += alliance Added: head/cad/abc/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/cad/abc/Makefile Tue Apr 24 07:53:29 2018 (r468187) @@ -0,0 +1,48 @@ +# $FreeBSD$ + +PORTNAME= abc +DISTVERSION= g20180420 +CATEGORIES= cad + +MAINTAINER= uddka@student.kit.edu +COMMENT= System for sequential synthesis and verification + +LICENSE= MIT +LICENSE_FILE= ${WRKSRC}/copyright.txt + +USES= gmake localbase:ldflags +USE_GITHUB= yes +GH_ACCOUNT= berkeley-abc +GH_TAGNAME= 0e15e4d +USE_LDCONFIG= yes + +MAKE_ENV= ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1 +CFLAGS+= -fPIC +CXXFLAGS+= -fPIC + +PLIST_FILES= bin/${PORTNAME} lib/lib${PORTNAME}.so + +OPTIONS_DEFINE= DEBUG DOCS READLINE THREADS +OPTIONS_DEFAULT= READLINE THREADS + +READLINE_USES= readline +READLINE_MAKE_ENV= ABC_READLINE_LIBRARIES="-L${LOCALBASE}/lib -lreadline" +READLINE_MAKE_ENV_OFF= ABC_USE_NO_READLINE=1 + +THREADS_MAKE_ENV_OFF= ABC_USE_NO_PTHREADS=1 + +PORTDOCS= README.md readmeaig + +post-build: + cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ABC_USE_PIC=1 lib${PORTNAME}.so + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin + ${INSTALL_PROGRAM} ${WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib + +do-install-DOCS-on: + @${MKDIR} ${STAGEDIR}${DOCSDIR} + ${INSTALL_DATA} ${WRKSRC}/README.md ${STAGEDIR}${DOCSDIR} + ${INSTALL_DATA} ${WRKSRC}/readmeaig ${STAGEDIR}${DOCSDIR} + +.include Added: head/cad/abc/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/cad/abc/distinfo Tue Apr 24 07:53:29 2018 (r468187) @@ -0,0 +1,3 @@ +TIMESTAMP = 1524554306 +SHA256 (berkeley-abc-abc-g20180420-0e15e4d_GH0.tar.gz) = ec291913390100d8b91264cba754fdf00274516d5f81d8b6ae2838d4489d0384 +SIZE (berkeley-abc-abc-g20180420-0e15e4d_GH0.tar.gz) = 5591634 Added: head/cad/abc/files/patch-Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/cad/abc/files/patch-Makefile Tue Apr 24 07:53:29 2018 (r468187) @@ -0,0 +1,18 @@ +--- Makefile.orig 2018-03-30 08:04:05 UTC ++++ Makefile +@@ -1,6 +1,4 @@ + +-CC := gcc +-CXX := g++ + LD := $(CXX) + + MSG_PREFIX ?= +@@ -52,8 +50,6 @@ endif + + ARCHFLAGS := $(ARCHFLAGS) + +-OPTFLAGS ?= -g -O +- + CFLAGS += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(ARCHFLAGS) + ifneq ($(findstring arm,$(shell uname -m)),) + CFLAGS += -DABC_MEMALIGN=4 Added: head/cad/abc/files/patch-src_misc_util_abc__global.h ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/cad/abc/files/patch-src_misc_util_abc__global.h Tue Apr 24 07:53:29 2018 (r468187) @@ -0,0 +1,18 @@ +--- src/misc/util/abc_global.h.orig 2018-04-10 14:33:45 UTC ++++ src/misc/util/abc_global.h +@@ -97,6 +97,15 @@ ABC_NAMESPACE_HEADER_START + //////////////////////////////////////////////////////////////////////// + + #ifdef ABC_USE_STDINT_H ++ ++#ifndef __STDC_LIMIT_MACROS ++ #define __STDC_LIMIT_MACROS ++#endif ++ ++#ifndef __STDC_CONSTANT_MACROS ++ #define __STDC_CONSTANT_MACROS ++#endif ++ + // If there is stdint.h, assume this is a reasonably-modern platform that + // would also have stddef.h and limits.h + #include Added: head/cad/abc/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/cad/abc/pkg-descr Tue Apr 24 07:53:29 2018 (r468187) @@ -0,0 +1,13 @@ +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. + +ABC provides an experimental implementation of these algorithms and a +programming environment for building similar applications. Future development +will focus on improving the algorithms and making most of the packages +stand-alone. This will allow the user to customize ABC for their needs as if +it were a tool-box rather than a complete tool. + +WWW: https://people.eecs.berkeley.edu/~alanmi/abc/