John David Pressman 7413ac22d6 Add oneshell to makefile and fix filename bug in build env script

2019-06-08 15:19:47 -07:00

..

build_docker_image.sh

Refactor docker image structure & CI

2019-05-27 17:43:39 +02:00

build_ligo_local.sh

Add execution permissions to new build scripts

2019-06-07 22:25:34 -07:00

install_build_environment.sh

Add oneshell to makefile and fix filename bug in build env script

2019-06-08 15:19:47 -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

Add execution permissions to new build scripts

2019-06-07 22:25:34 -07:00

setup_ligo_opam_repository.sh

Refactor docker image structure & CI

2019-05-27 17:43:39 +02:00