#!/bin/bash set -e # Flex source acquisition script # Downloads and extracts flex-2.6.4 source code ARCHIVE_URL="https://github.com/westes/flex/releases/download/v2.6.4/flex-2.6.4.tar.gz" ARCHIVE_NAME="flex-2.6.4.tar.gz" SOURCE_DIR="sources" EXTRACT_DIR="flex" echo "Downloading flex source..." wget -O ${ARCHIVE_NAME} ${ARCHIVE_URL} echo "Creating source directory..." mkdir -p ${SOURCE_DIR} echo "Extracting archive..." tar -xzf ${ARCHIVE_NAME} -C ${SOURCE_DIR} # Rename to expected directory name if needed if [ -d "${SOURCE_DIR}/flex-2.6.4" ]; then mv "${SOURCE_DIR}/flex-2.6.4" "${SOURCE_DIR}/${EXTRACT_DIR}" fi echo "Cleaning up..." rm ${ARCHIVE_NAME} echo "Source acquisition complete."