build.sh 374 B

12345678910111213141516171819202122
  1. #!/bin/bash
  2. set -e
  3. # Flex build script
  4. # Configures and builds flex-2.6.4
  5. build_dir=$1
  6. echo "Building flex in ${build_dir}..."
  7. # Change to source directory
  8. cd sources/flex
  9. echo "Configuring flex..."
  10. ./configure --prefix=${PREFIX} \
  11. --docdir=${PREFIX}/share/doc/flex-2.6.4 \
  12. --disable-static
  13. echo "Compiling flex..."
  14. make
  15. echo "Build complete."