diff options
author | John Marino <marino@FreeBSD.org> | 2016-07-22 17:09:51 +0000 |
---|---|---|
committer | John Marino <marino@FreeBSD.org> | 2016-07-22 17:09:51 +0000 |
commit | bbba81c31277feb7ecfe095cb98b375b4c6c5a5f (patch) | |
tree | e2cba5672308f480f30b44670c1db1d8bdd0c828 /devel/adaid | |
parent | 91ca1a1d9754f49d9e42f7bf0b09b20803307afd (diff) | |
download | ports-bbba81c31277feb7ecfe095cb98b375b4c6c5a5f.tar.gz ports-bbba81c31277feb7ecfe095cb98b375b4c6c5a5f.zip |
Notes
Diffstat (limited to 'devel/adaid')
-rw-r--r-- | devel/adaid/Makefile | 49 | ||||
-rw-r--r-- | devel/adaid/distinfo | 3 | ||||
-rw-r--r-- | devel/adaid/files/adaid.gpr | 8 | ||||
-rw-r--r-- | devel/adaid/pkg-descr | 9 | ||||
-rw-r--r-- | devel/adaid/pkg-plist | 12 |
5 files changed, 81 insertions, 0 deletions
diff --git a/devel/adaid/Makefile b/devel/adaid/Makefile new file mode 100644 index 000000000000..0942d35bc9a2 --- /dev/null +++ b/devel/adaid/Makefile @@ -0,0 +1,49 @@ +# Created by: John Marino <marino@FreeBSD.org> +# $FreeBSD$ + +PORTNAME= adaid +PORTVERSION= 0.0.0 +DISTVERSIONPREFIX= v +CATEGORIES= devel + +MAINTAINER= marino@FreeBSD.org +COMMENT= Simple Ada library for generating UUIDs + +LICENSE= BSD2CLAUSE +LICENSE_FILE= ${WRKSRC}/LICENSE + +BUILD_DEPENDS= gprbuild:devel/gprbuild +TEST_DEPENDS= ${LOCALBASE}/lib/gnat/aunit.gpr:devel/aunit + +USES= ada:run +USE_GITHUB= yes +GH_ACCOUNT= anthony-arnold +GH_PROJECT= AdaID + +LIB_VERSION= 1.0.2 # get from ${WRKSRC}/Makefile + +post-patch: + ${SED} -e 's|"src"|"src", "include"|; s|%VERSION%|${LIB_VERSION}|' \ + ${WRKSRC}/adaid.gpr.in > ${WRKSRC}/adaid.gpr + ${REINPLACE_CMD} -e 's|adaid_debug|adaid|' ${WRKSRC}/test.gpr + +do-build: + (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} ${BUILD_ARGS} \ + gprbuild -p -P adaid) + +do-test: + (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} ${TEST_ARGS} \ + gprbuild -p -P test) + ${TEST_WRKSRC}/bin/test + +do-install: + ${MKDIR} ${STAGEDIR}${PREFIX}/include/adaid \ + ${STAGEDIR}${PREFIX}/lib/adaid \ + ${STAGEDIR}${PREFIX}/lib/gnat + ${INSTALL_DATA} ${WRKSRC}/lib/* ${STAGEDIR}${PREFIX}/lib/adaid + ${INSTALL_DATA} ${WRKSRC}/ali/*.ali* ${STAGEDIR}${PREFIX}/lib/adaid + ${INSTALL_DATA} ${WRKSRC}/src/*.adb ${WRKSRC}/include/*.ads \ + ${STAGEDIR}${PREFIX}/include/adaid + ${INSTALL_DATA} ${FILESDIR}/adaid.gpr ${STAGEDIR}${PREFIX}/lib/gnat + +.include <bsd.port.mk> diff --git a/devel/adaid/distinfo b/devel/adaid/distinfo new file mode 100644 index 000000000000..b3764e742831 --- /dev/null +++ b/devel/adaid/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1468952292 +SHA256 (anthony-arnold-AdaID-v0.0.0_GH0.tar.gz) = dc18de972d918b6254d2d509086953478c14fc9b6f49e4177db5f43fbf0754e2 +SIZE (anthony-arnold-AdaID-v0.0.0_GH0.tar.gz) = 14959 diff --git a/devel/adaid/files/adaid.gpr b/devel/adaid/files/adaid.gpr new file mode 100644 index 000000000000..9029828fe017 --- /dev/null +++ b/devel/adaid/files/adaid.gpr @@ -0,0 +1,8 @@ +project AdaID is + for Languages use ("ada"); + for Library_Name use "adaid"; + for Source_Dirs use ("../../include/adaid"); + for Library_Dir use "../../lib/adaid"; + for Library_Kind use "dynamic"; + for Externally_Built use "true"; +end AdaID; diff --git a/devel/adaid/pkg-descr b/devel/adaid/pkg-descr new file mode 100644 index 000000000000..ad5f82af53a8 --- /dev/null +++ b/devel/adaid/pkg-descr @@ -0,0 +1,9 @@ +AdaID is a simple Ada library for generating UUIDs. + +Supported operations include: + * Generating random UUIDs + * Generating name-based UUIDs + * Restoring UUIDs from a string representation. + * Converting a UUID to a string + +WWW: https://github.com/anthony-arnold/AdaID diff --git a/devel/adaid/pkg-plist b/devel/adaid/pkg-plist new file mode 100644 index 000000000000..24caabc7a82c --- /dev/null +++ b/devel/adaid/pkg-plist @@ -0,0 +1,12 @@ +include/adaid/adaid-generate.adb +include/adaid/adaid-generate.ads +include/adaid/adaid.adb +include/adaid/adaid.ads +include/adaid/sha-process_data.adb +lib/adaid/adaid-generate.ali +lib/adaid/adaid.ali +lib/adaid/libadaid.so +lib/adaid/libadaid.so.1.0.2 +lib/adaid/sha-process_data.ali +lib/adaid/sha.ali +lib/gnat/adaid.gpr |