diff options
Diffstat (limited to 'repos/core/flex')
| -rw-r--r-- | repos/core/flex/.files | 19 | ||||
| -rw-r--r-- | repos/core/flex/info | 4 | ||||
| -rw-r--r-- | repos/core/flex/postbuild | 1 |
3 files changed, 24 insertions, 0 deletions
diff --git a/repos/core/flex/.files b/repos/core/flex/.files new file mode 100644 index 00000000..71e96a77 --- /dev/null +++ b/repos/core/flex/.files @@ -0,0 +1,19 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/flex +lrwxrwxrwx root/root usr/bin/flex++ -> flex +lrwxrwxrwx root/root usr/bin/lex -> flex +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/FlexLexer.h +drwxr-xr-x root/root usr/lib/ +lrwxrwxrwx root/root usr/lib/libfl.so -> libfl.so.2.0.0 +lrwxrwxrwx root/root usr/lib/libfl.so.2 -> libfl.so.2.0.0 +-rwxr-xr-x root/root usr/lib/libfl.so.2.0.0 +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/info/ +-rw-r--r-- root/root usr/share/info/flex.info-1.gz +-rw-r--r-- root/root usr/share/info/flex.info-2.gz +-rw-r--r-- root/root usr/share/info/flex.info.gz +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man1/ +-rw-r--r-- root/root usr/share/man/man1/flex.1.gz diff --git a/repos/core/flex/info b/repos/core/flex/info new file mode 100644 index 00000000..c948c035 --- /dev/null +++ b/repos/core/flex/info @@ -0,0 +1,4 @@ +name=flex +version=2.6.4 +release=1 +source="https://github.com/westes/$name/releases/download/v$version/$name-$version.tar.gz" diff --git a/repos/core/flex/postbuild b/repos/core/flex/postbuild new file mode 100644 index 00000000..b1256a5d --- /dev/null +++ b/repos/core/flex/postbuild @@ -0,0 +1 @@ +ln -s flex $PKG/usr/bin/lex |