diff options
author | Javier Jardón <jjardon@gnome.org> | 2017-11-26 23:39:48 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2017-12-12 15:58:23 +0000 |
commit | 7df7f3b427739ff7d69da2ba218da0124822892c (patch) | |
tree | 843c75e9bede53862ab101d6a7bcd1da15a33c55 /unmaintained/strata/lua51/lua51.morph | |
parent | 7aad5150f69da42b84994c353283db5daf8e967f (diff) | |
download | definitions-7df7f3b427739ff7d69da2ba218da0124822892c.tar.gz |
Remove all .morph files and files from the old format
Diffstat (limited to 'unmaintained/strata/lua51/lua51.morph')
-rw-r--r-- | unmaintained/strata/lua51/lua51.morph | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/unmaintained/strata/lua51/lua51.morph b/unmaintained/strata/lua51/lua51.morph deleted file mode 100644 index c8f7daa4..00000000 --- a/unmaintained/strata/lua51/lua51.morph +++ /dev/null @@ -1,11 +0,0 @@ -name: lua51 -kind: chunk -configure-commands: -- sed -e 's/defined(LUA_USE_READLINE)/0/g' src/luaconf.h.orig >src/luaconf.h -- sed -i -e '/^linux:/{n;s/-lreadline//g;s/-lhistory//g;s/-lncurses//g}' src/Makefile -build-commands: -- make debian_linux INSTALL_TOP="$PREFIX" RPATH="$PREFIX/lib" -install-commands: -- make INSTALL_TOP="$DESTDIR/$PREFIX" debian_install -- mkdir -p "$DESTDIR/$PREFIX/lib/pkgconfig" -- cp lua5.1.pc "$DESTDIR/$PREFIX/lib/pkgconfig/" |