1 files changed, 11 insertions, 0 deletions
diff --git a/core/flex/build b/core/flex/build
new file mode 100755
index 00000000..c0aa1260
--- /dev/null
+++ b/core/flex/build
@@ -0,0 +1,11 @@
+#!/bin/sh -e
+
+./configure \
+    --prefix=/usr \
+    --disable-static \
+    --enable-shared \
+    ac_cv_func_malloc_0_nonnull=yes \
+    ac_cv_func_realloc_0_nonnull=yes
+
+make
+make DESTDIR="$1" install