John David Pressman e157e0527b Change makefile to use preexisting setup scripts for docker and add new ones		2019-06-07 22:16:55 -07:00
..
build_docker_image.sh	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00
build_ligo_local.sh	Change makefile to use preexisting setup scripts for docker and add new ones	2019-06-07 22:16:55 -07:00
install_build_environment.sh	Add temporary build environment setup script	2019-06-07 22:01:23 -07:00
install_ligo_with_dependencies.sh	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00
install_native_dependencies.sh	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00
installer.sh	Fix leftover debug URL	2019-05-27 18:10:58 +02:00
ligo.sh	Add pulling of the docker image used by the CLI wrapper, nicer comments & messages	2019-05-27 18:10:25 +02:00
setup_dev_switch.sh	Change makefile to use preexisting setup scripts for docker and add new ones	2019-06-07 22:16:55 -07:00
setup_ligo_opam_repository.sh	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00