diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-02-18 17:27:29 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-02-19 12:30:55 +0000 |
commit | b29ac16dd937effea255b76cef497fd98a8f417b (patch) | |
tree | 7cb504804b1bdae511b6406c1f5cc0b0bd8ee01c /strata/lua53 | |
parent | c7ba7e3152d0d369227d151ab15266f55ea07ae7 (diff) | |
download | definitions-b29ac16dd937effea255b76cef497fd98a8f417b.tar.gz |
Add lua53 stratum with tha latest lua in it (5.3.2)
Change-Id: Ibe0320e97d7bd8c4622fdb1284168f85d40c0419
Diffstat (limited to 'strata/lua53')
-rw-r--r-- | strata/lua53/lua53.morph | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/strata/lua53/lua53.morph b/strata/lua53/lua53.morph new file mode 100644 index 00000000..c8c43d64 --- /dev/null +++ b/strata/lua53/lua53.morph @@ -0,0 +1,9 @@ +name: lua53 +kind: chunk +build-system: manual +build-commands: +- make linux +install-commands: +- make INSTALL_TOP="$DESTDIR/$PREFIX" install +- mkdir -p "$DESTDIR/$PREFIX/lib/pkgconfig/" +- cp lua.pc "$DESTDIR/$PREFIX/lib/pkgconfig/" |