diff options
author | John Marino <marino@FreeBSD.org> | 2015-06-17 11:16:53 +0000 |
---|---|---|
committer | John Marino <marino@FreeBSD.org> | 2015-06-17 11:16:53 +0000 |
commit | 2a357815b495345b82f8079e78cba4e2b7cefba0 (patch) | |
tree | 353c4d47e52353e9e5e4793410d46a1f2ce36edd /lang/lua-ada | |
parent | 4c0fba691feeddef4a246f496e32d24962ea077e (diff) | |
download | ports-2a357815b495345b82f8079e78cba4e2b7cefba0.tar.gz ports-2a357815b495345b82f8079e78cba4e2b7cefba0.zip |
Notes
Diffstat (limited to 'lang/lua-ada')
-rw-r--r-- | lang/lua-ada/Makefile | 73 | ||||
-rw-r--r-- | lang/lua-ada/distinfo | 2 | ||||
-rw-r--r-- | lang/lua-ada/files/lua.gpr.in | 16 | ||||
-rw-r--r-- | lang/lua-ada/pkg-descr | 8 | ||||
-rw-r--r-- | lang/lua-ada/pkg-plist | 14 |
5 files changed, 113 insertions, 0 deletions
diff --git a/lang/lua-ada/Makefile b/lang/lua-ada/Makefile new file mode 100644 index 000000000000..ea6f819f0859 --- /dev/null +++ b/lang/lua-ada/Makefile @@ -0,0 +1,73 @@ +# Created by: John Marino <marino@FreeBSD.org> +# $FreeBSD$ + +PORTNAME= lua-ada +PORTVERSION= 1.0 # made-up; no version info on GH +CATEGORIES= lang + +MAINTAINER= marino@FreeBSD.org +COMMENT= Ada binding for Lua + +LICENSE= GPLv3 GPLv3RLE +LICENSE_COMB= multi + +BUILD_DEPENDS= gprbuild:${PORTSDIR}/devel/gprbuild + +USES= ada lua +USE_GITHUB= yes +GH_ACCOUNT= AdaCore +GH_PROJECT= ada-lua +GH_TAGNAME= e008192 + +SUB_FILES= lua.gpr +SUB_LIST= LUA_VER=${LUA_VER} + +PORTEXAMPLES= example1 example2 +EXDIRPREFIX= ${WRKSRC}/examples/example +REPLACEMENT= "-L${LOCALBASE}/lib", "-Wl,-R,${LOCALBASE}/lib",\ + "-llua-${LUA_VER}" + +OPTIONS_DEFINE= EXAMPLES + +.include <bsd.port.options.mk> + +post-patch: + @${REINPLACE_CMD} -e 's|with "Lua"|with "../../lua.gpr"|' \ + -e 's|"-L../..", "-llua"|${REPLACEMENT}|' \ + ${EXDIRPREFIX}1/example1.gpr \ + ${EXDIRPREFIX}2/example2.gpr + +do-build: + (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \ + gprbuild -Plua --create-missing-dirs) +.if ${PORT_OPTIONS:MEXAMPLES} + (cd ${WRKSRC}/examples/example1 && ${SETENV} ${MAKE_ENV} \ + gprbuild -Pexample1 --create-missing-dirs) + (cd ${WRKSRC}/examples/example2 && ${SETENV} ${MAKE_ENV} \ + gprbuild -Pexample2 --create-missing-dirs) +.endif + +do-install: + ${MKDIR} ${STAGEDIR}${PREFIX}/lib/lua-ada \ + ${STAGEDIR}${PREFIX}/lib/gnat \ + ${STAGEDIR}${PREFIX}/include/lua-ada + ${INSTALL_DATA} ${WRKSRC}/lib/* ${STAGEDIR}${PREFIX}/lib/lua-ada + ${INSTALL_DATA} ${WRKSRC}/lua.gpr ${STAGEDIR}${PREFIX}/lib/gnat + ${INSTALL_DATA} ${WRKSRC}/src/*.ad[bs] \ + ${STAGEDIR}${PREFIX}/include/lua-ada +.if ${PORT_OPTIONS:MEXAMPLES} + ${MKDIR} ${STAGEDIR}${EXAMPLESDIR}/example1/bin \ + ${STAGEDIR}${EXAMPLESDIR}/example2/bin + ${INSTALL_DATA} ${EXDIRPREFIX}1/example1.lua \ + ${EXDIRPREFIX}1/src/main.adb \ + ${STAGEDIR}${EXAMPLESDIR}/example1 + ${INSTALL_PROGRAM} ${EXDIRPREFIX}1/obj/main \ + ${STAGEDIR}${EXAMPLESDIR}/example1/bin/hello-lua + ${INSTALL_DATA} ${EXDIRPREFIX}2/example2.lua \ + ${EXDIRPREFIX}2/src/main.adb \ + ${STAGEDIR}${EXAMPLESDIR}/example2 + ${INSTALL_PROGRAM} ${EXDIRPREFIX}2/obj/main \ + ${STAGEDIR}${EXAMPLESDIR}/example2/bin/hello-function +.endif + +.include <bsd.port.mk> diff --git a/lang/lua-ada/distinfo b/lang/lua-ada/distinfo new file mode 100644 index 000000000000..c20790c0c71f --- /dev/null +++ b/lang/lua-ada/distinfo @@ -0,0 +1,2 @@ +SHA256 (AdaCore-ada-lua-1.0-e008192_GH0.tar.gz) = e2a667748d2970dbe186bc8cd7573b5534be5e1fb6cdc70856ca95effe52dff5 +SIZE (AdaCore-ada-lua-1.0-e008192_GH0.tar.gz) = 25843 diff --git a/lang/lua-ada/files/lua.gpr.in b/lang/lua-ada/files/lua.gpr.in new file mode 100644 index 000000000000..369b7c28ade3 --- /dev/null +++ b/lang/lua-ada/files/lua.gpr.in @@ -0,0 +1,16 @@ +library project Lua is + + for Languages use ("Ada"); + + for Source_Dirs use ("../../include/lua-ada"); + for Library_Dir use "../../lib/lua-ada"; + for Library_Name use "adalua"; + for Library_Kind use "static"; + for Externally_Built use "True"; + + package Linker is + for Linker_Options use ("-L%%PREFIX%%/lib", "-Wl,-R,%%PREFIX%%/lib", + "-llua-%%LUA_VER%%); + end Linker; + +end Lua; diff --git a/lang/lua-ada/pkg-descr b/lang/lua-ada/pkg-descr new file mode 100644 index 000000000000..c8f0bfd4c319 --- /dev/null +++ b/lang/lua-ada/pkg-descr @@ -0,0 +1,8 @@ +These are bindings to a Lua library for Ada. The gpr file is written for +the version of Lua that is default on the system that builds the port. +(see Mk/bsd.default-versions.mk) + +There is no documentation available, but two examples with sources are +built and installed for illustration. + +WWW: http://github.com/AdaCore/ada-lua diff --git a/lang/lua-ada/pkg-plist b/lang/lua-ada/pkg-plist new file mode 100644 index 000000000000..11d211e77dff --- /dev/null +++ b/lang/lua-ada/pkg-plist @@ -0,0 +1,14 @@ +include/lua-ada/lua-ada_limited_types.adb +include/lua-ada/lua-ada_limited_types.ads +include/lua-ada/lua-ada_types.adb +include/lua-ada/lua-ada_types.ads +include/lua-ada/lua-utils.adb +include/lua-ada/lua-utils.ads +include/lua-ada/lua.adb +include/lua-ada/lua.ads +lib/lua-ada/libadalua.a +lib/lua-ada/lua-ada_limited_types.ali +lib/lua-ada/lua-ada_types.ali +lib/lua-ada/lua-utils.ali +lib/lua-ada/lua.ali +lib/gnat/lua.gpr |