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 /strata/core/flex.morph | |
| parent | 7aad5150f69da42b84994c353283db5daf8e967f (diff) | |
| download | definitions-7df7f3b427739ff7d69da2ba218da0124822892c.tar.gz | |
Remove all .morph files and files from the old format
Diffstat (limited to 'strata/core/flex.morph')
| -rw-r--r-- | strata/core/flex.morph | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/strata/core/flex.morph b/strata/core/flex.morph deleted file mode 100644 index 615bf79e..00000000 --- a/strata/core/flex.morph +++ /dev/null @@ -1,14 +0,0 @@ -name: flex -kind: chunk -pre-configure-commands: -- autoreconf -ivf -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" |