| 12345678910111213141516171819202122 |
- #!/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."
|
