summaryrefslogtreecommitdiff
path: root/chunks/flex.morph
diff options
context:
space:
mode:
authorAdam Coldrick <adam.coldrick@codethink.co.uk>2014-04-14 12:22:53 +0000
committerAdam Coldrick <adam.coldrick@codethink.co.uk>2014-04-14 12:22:53 +0000
commit0ce6de7adbd5fe6b268e1b8a1422cdfeb7cdebf5 (patch)
treeda8498e1eab2464b06117337cb0b7c87322e6ed1 /chunks/flex.morph
parent10dda889872542b8f261555c139791ff34eec9b1 (diff)
downloaddefinitions-0ce6de7adbd5fe6b268e1b8a1422cdfeb7cdebf5.tar.gz
Add chunk morphologies to definitions repositorybaserock/adamcoldrick/chunks-in-definitions-by-kind
Diffstat (limited to 'chunks/flex.morph')
-rw-r--r--chunks/flex.morph14
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"