#!/bin/bash
set -e

# Flex build script
# Configures and builds flex-2.6.4

build_dir=$1

echo "Building flex in ${build_dir}..."

# Change to source directory
cd sources/flex

echo "Configuring flex..."
./configure --prefix=${PREFIX} \
            --docdir=${PREFIX}/share/doc/flex-2.6.4 \
            --disable-static

echo "Compiling flex..."
make

echo "Build complete."