Index: head/cad/abc/Makefile
===================================================================
--- head/cad/abc/Makefile	(revision 528904)
+++ head/cad/abc/Makefile	(revision 528905)
@@ -1,49 +1,38 @@
 # $FreeBSD$
 
 PORTNAME=	abc
-DISTVERSION=	g20180420
-PORTREVISION=	1
+DISTVERSION=	g20200322
 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
+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>
Index: head/cad/abc/distinfo
===================================================================
--- head/cad/abc/distinfo	(revision 528904)
+++ head/cad/abc/distinfo	(revision 528905)
@@ -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
Index: head/cad/abc/files/patch-CMakeLists.txt
===================================================================
--- head/cad/abc/files/patch-CMakeLists.txt	(nonexistent)
+++ head/cad/abc/files/patch-CMakeLists.txt	(revision 528905)
@@ -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)

Property changes on: head/cad/abc/files/patch-CMakeLists.txt
___________________________________________________________________
Added: fbsd:nokeywords
## -0,0 +1 ##
+yes
\ No newline at end of property
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: svn:mime-type
## -0,0 +1 ##
+text/plain
\ No newline at end of property