blob: fc538cb55289b103f0fb17e02f4f05ac3e334799 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
PORTNAME= adasat
DISTVERSIONPREFIX= v
DISTVERSION= 26.0.0
CATEGORIES= math devel
MAINTAINER= ada@FreeBSD.org
COMMENT= DPLL-based SAT solver in Ada
WWW= https://github.com/AdaCore/adasat
LICENSE= APACHE20
LICENSE_FILE_APACHE20= ${WRKSRC}/LICENSE
BUILD_DEPENDS= gprbuild>0:devel/gprbuild
TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}e3_testsuite>0:devel/py-e3-testsuite@${PY_FLAVOR}
USES= ada:run python:test
USE_GITHUB= yes
GH_ACCOUNT= AdaCore
GH_PROJECT= AdaSAT
USE_LDCONFIG= yes
MAKE_CMD= gprbuild
TEST_ENV= GPR_PROJECT_PATH=${STAGEDIR}${PREFIX}/share/gpr
NO_SHLIB_REQUIRES_GLOB= libgnat-${_ada_version}.so
PLIST_SUB= SO_VERSION=${_SO_VERSION}
_GPRBUILD_ARGS= ${_GPR_PROJECT_ARGS} -j${MAKE_JOBS_NUMBER} -p -vh -vP2
_GPRINSTALL_ARGS= ${_GPR_PROJECT_ARGS} --no-manifest \
--prefix='${STAGEDIR}${PREFIX}' -p -v
_GPR_PROJECT_ARGS= -XADASAT_BUILD_MODE=${WITH_DEBUG:Uprod:Dprof}
_SO_VERSION= ${DISTVERSION}
post-patch:
${REINPLACE_CMD} -e 's|%%SO_VERSION%%|${_SO_VERSION}|' \
${WRKSRC}/${PORTNAME}.gpr
do-build:
. for _library_type in relocatable static static-pic
(cd ${WRKSRC}/ && \
${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${_GPRBUILD_ARGS} -XLIBRARY_TYPE=${_library_type} \
-P ${PORTNAME})
. endfor
do-install:
. for _library_type in relocatable static static-pic
(cd ${WRKSRC}/ && \
${SETENV} ${MAKE_ENV} gprinstall ${_GPRINSTALL_ARGS} --build-name=${_library_type} \
--build-var=${_library_type} --ali-subdir=libdata/${PORTNAME}/${_library_type} \
--lib-subdir=lib/${PORTNAME}/${_library_type} --sources-subdir=include/${PORTNAME} \
-XLIBRARY_TYPE=${_library_type} -P ${PORTNAME})
. endfor
${FIND} ${STAGEDIR}${PREFIX}/lib -name *.a -exec ${STRIP_CMD} {} \
\;
${FIND} ${STAGEDIR}${PREFIX}/lib -name *.so -exec ${STRIP_CMD} {} \
\;
do-test:
(cd ${WRKSRC} && \
${SETENV} ${MAKE_ENV} ${TEST_ENV} ${PYTHON_CMD} testsuite/testsuite.py)
.include <bsd.port.mk>
|
