freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cad/abc: Update g20180420 -> g20200322

Browse Source 
PR:		241511
Approved by:	uddka@student.kit.edu (maintainer's timeout; 4.5 months)
This commit is contained in:
Yuri Victorovich
2020-03-22 08:56:58 +00:00
parent 4838811e3e
commit dc0d7b0c86
3 changed files with 38 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

41
cad/abc/Makefile
View File

@@ -1,8 +1,7 @@
# $FreeBSD$
PORTNAME= abc
DISTVERSION= g20180420
PORTREVISION= 1
DISTVERSION= g20200322
CATEGORIES= cad
MAINTAINER= uddka@student.kit.edu
@@ -11,39 +10,29 @@ COMMENT= System for sequential synthesis and verification
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/copyright.txt
USES= gmake localbase:ldflags
BUILD_DEPENDS= gmake:devel/gmake
USES= cmake
USE_GITHUB= yes
GH_ACCOUNT= berkeley-abc
GH_TAGNAME= 0e15e4d
GH_TAGNAME= a4518e6f833885c905964f1233d11e5b941ec24c
USE_LDCONFIG= yes
MAKE_ENV= ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1
CFLAGS+= -fPIC
CXXFLAGS+= -fPIC
BINARY_ALIAS= make=${GMAKE}
PLIST_FILES= bin/${PORTNAME} lib/lib${PORTNAME}.so
OPTIONS_DEFINE= DEBUG DOCS READLINE THREADS
OPTIONS_DEFAULT= READLINE THREADS
OPTIONS_DEFINE= 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
READLINE_USES= readline
READLINE_CONFIGURE_ENV= ABC_READLINE_LIBRARIES="-L${LOCALBASE}/lib -lreadline"
READLINE_CONFIGURE_ENV_OFF= ABC_USE_NO_READLINE=1
THREADS_MAKE_ENV_OFF= ABC_USE_NO_PTHREADS=1
THREADS_CONFIGURE_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}
do-install: # https://github.com/berkeley-abc/abc/issues/71
${INSTALL_PROGRAM} ${BUILD_WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
${INSTALL_PROGRAM} ${BUILD_WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib
.include <bsd.port.mk>

6
cad/abc/distinfo
View File

@@ -1,3 +1,3 @@
TIMESTAMP = 1524554306
SHA256 (berkeley-abc-abc-g20180420-0e15e4d_GH0.tar.gz) = ec291913390100d8b91264cba754fdf00274516d5f81d8b6ae2838d4489d0384
SIZE (berkeley-abc-abc-g20180420-0e15e4d_GH0.tar.gz) = 5591634
TIMESTAMP = 1584862926
SHA256 (berkeley-abc-abc-g20200322-a4518e6f833885c905964f1233d11e5b941ec24c_GH0.tar.gz) = 66d928e01a8652d634cdc8d113ccfb5f79e3160be5fe49da0697845d31754760
SIZE (berkeley-abc-abc-g20200322-a4518e6f833885c905964f1233d11e5b941ec24c_GH0.tar.gz) = 5760207

20
cad/abc/files/patch-CMakeLists.txt Normal file
View File

@@ -0,0 +1,20 @@
--- CMakeLists.txt.orig 2020-03-22 08:33:14 UTC
+++ CMakeLists.txt
@@ -91,7 +91,7 @@ endfunction()
set(ABC_MAIN_SRC src/base/main/main.c)
list(REMOVE_ITEM ABC_SRC ${ABC_MAIN_SRC})
-add_library(libabc EXCLUDE_FROM_ALL ${ABC_SRC})
+add_library(libabc EXCLUDE_FROM_ALL SHARED ${ABC_SRC})
abc_properties(libabc PUBLIC)
set_property(TARGET libabc PROPERTY OUTPUT_NAME abc)
@@ -99,7 +99,7 @@ add_executable(abc ${ABC_MAIN_SRC})
target_link_libraries(abc PRIVATE libabc)
abc_properties(abc PRIVATE)
-add_library(libabc-pic EXCLUDE_FROM_ALL ${ABC_SRC})
+add_library(libabc-pic EXCLUDE_FROM_ALL SHARED ${ABC_SRC})
abc_properties(libabc-pic PUBLIC)
set_property(TARGET libabc-pic PROPERTY POSITION_INDEPENDENT_CODE ON)
set_property(TARGET libabc-pic PROPERTY OUTPUT_NAME abc-pic)