diff options
Diffstat (limited to 'chunks/flex.morph')
| -rw-r--r-- | chunks/flex.morph | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/chunks/flex.morph b/chunks/flex.morph new file mode 100644 index 00000000..e0628ea1 --- /dev/null +++ b/chunks/flex.morph @@ -0,0 +1,14 @@ +name: flex +kind: chunk +repo: upstream:flex +ref: de10f98e8a2dc2a021796811490d0f30c3cd90bf +configure-commands: +- ./configure --prefix="$PREFIX" +build-commands: +- make dist_doc_DATA= +install-commands: +- make dist_doc_DATA= DESTDIR="$DESTDIR" install +- ln -s libfl.a "$DESTDIR$PREFIX/lib/libl.a" +- echo "#!$PREFIX/bin/sh" >"$DESTDIR$PREFIX/bin/lex" +- echo 'exec '"$PREFIX"'/bin/flex -l "$@"' >>"$DESTDIR$PREFIX/bin/lex" +- chmod 755 "$DESTDIR$PREFIX/bin/lex" |