aboutsummaryrefslogtreecommitdiff
path: root/lang/lua-ada
diff options
context:
space:
mode:
authorJohn Marino <marino@FreeBSD.org>2015-06-17 11:16:53 +0000
committerJohn Marino <marino@FreeBSD.org>2015-06-17 11:16:53 +0000
commit2a357815b495345b82f8079e78cba4e2b7cefba0 (patch)
tree353c4d47e52353e9e5e4793410d46a1f2ce36edd /lang/lua-ada
parent4c0fba691feeddef4a246f496e32d24962ea077e (diff)
downloadports-2a357815b495345b82f8079e78cba4e2b7cefba0.tar.gz
ports-2a357815b495345b82f8079e78cba4e2b7cefba0.zip
Notes
Diffstat (limited to 'lang/lua-ada')
-rw-r--r--lang/lua-ada/Makefile73
-rw-r--r--lang/lua-ada/distinfo2
-rw-r--r--lang/lua-ada/files/lua.gpr.in16
-rw-r--r--lang/lua-ada/pkg-descr8
-rw-r--r--lang/lua-ada/pkg-plist14
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