# #ragel # #Ragel State Machine Compiler # if (WIN32) ExternalProject_Add ( ragel PREFIX ${CMAKE_INSTALL_PREFIX} URL https://github.com/adrian-thurston/ragel/archive/refs/tags/7.0.4.zip URL_MD5 550f44f4f403bb76073f868fb79c7779 CMAKE_ARGS -DCMAKE_INSTALL_PREFIX:PATH= -DCMAKE_BUILD_TYPE:STRING=Release ) endif (WIN32) if (UNIX) #Rely on manual installation via the package manager #You can then invoke ragel as /usr/bin/ragel #sudo apt-get -q -y install ragel ExternalProject_Add ( ragel PREFIX ${CMAKE_INSTALL_PREFIX} BUILD_IN_SOURCE 1 DOWNLOAD_COMMAND "" UPDATE_COMMAND "" CONFIGURE_COMMAND "" BUILD_COMMAND /usr/bin/ragel --version INSTALL_COMMAND "" ) endif (UNIX)