Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 22 Mar 2020 08:56:59 +0000 (UTC)
From:      Yuri Victorovich <yuri@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r528905 - in head/cad/abc: . files
Message-ID:  <202003220856.02M8uxh3038089@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: yuri
Date: Sun Mar 22 08:56:58 2020
New Revision: 528905
URL: https://svnweb.freebsd.org/changeset/ports/528905

Log:
  cad/abc: Update g20180420 -> g20200322
  
  PR:		241511
  Approved by:	uddka@student.kit.edu (maintainer's timeout; 4.5 months)

Added:
  head/cad/abc/files/patch-CMakeLists.txt   (contents, props changed)
Modified:
  head/cad/abc/Makefile
  head/cad/abc/distinfo

Modified: head/cad/abc/Makefile
==============================================================================
--- head/cad/abc/Makefile	Sun Mar 22 08:17:14 2020	(r528904)
+++ head/cad/abc/Makefile	Sun Mar 22 08:56:58 2020	(r528905)
@@ -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 verificat
 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>

Modified: head/cad/abc/distinfo
==============================================================================
--- head/cad/abc/distinfo	Sun Mar 22 08:17:14 2020	(r528904)
+++ head/cad/abc/distinfo	Sun Mar 22 08:56:58 2020	(r528905)
@@ -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

Added: head/cad/abc/files/patch-CMakeLists.txt
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/cad/abc/files/patch-CMakeLists.txt	Sun Mar 22 08:56:58 2020	(r528905)
@@ -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)



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202003220856.02M8uxh3038089>