acquire.sh 705 B

1234567891011121314151617181920212223242526272829
  1. #!/bin/bash
  2. set -e
  3. # Flex source acquisition script
  4. # Downloads and extracts flex-2.6.4 source code
  5. ARCHIVE_URL="https://github.com/westes/flex/releases/download/v2.6.4/flex-2.6.4.tar.gz"
  6. ARCHIVE_NAME="flex-2.6.4.tar.gz"
  7. SOURCE_DIR="sources"
  8. EXTRACT_DIR="flex"
  9. echo "Downloading flex source..."
  10. wget -O ${ARCHIVE_NAME} ${ARCHIVE_URL}
  11. echo "Creating source directory..."
  12. mkdir -p ${SOURCE_DIR}
  13. echo "Extracting archive..."
  14. tar -xzf ${ARCHIVE_NAME} -C ${SOURCE_DIR}
  15. # Rename to expected directory name if needed
  16. if [ -d "${SOURCE_DIR}/flex-2.6.4" ]; then
  17. mv "${SOURCE_DIR}/flex-2.6.4" "${SOURCE_DIR}/${EXTRACT_DIR}"
  18. fi
  19. echo "Cleaning up..."
  20. rm ${ARCHIVE_NAME}
  21. echo "Source acquisition complete."