# create directories to build docker images # These images are mainly created to build, and test specmicp with # different configurations # It also helps with the listing of the requirements set(list_docker_images debian-stretch fedora-23 fedora-26 ) add_custom_target(docker_include SOURCES #-- debian-stretch/Dockerfile debian-stretch/run_tests.sh #-- fedora-23/Dockerfile fedora-23/run_tests.sh #-- fedora-26/Dockerfile fedora-26/run_tests.sh #-- )