Tom Jack 039d82a18f Merge branch 'feature/LIGO-27-improve-packaging-and-distribution' into 'dev' ... Add build & packaging scripts for multiplatform ligo binary distribution See merge request ligolang/ligo!114		2019-10-11 02:26:03 +00:00
..
distribution/generic	Copy debian packages into gitlab-pages	2019-10-01 18:08:00 -05:00
build_docker_image.sh	Add build & packaging scripts for multiplatform ligo binary distribution	2019-09-30 14:25:01 -05:00
build_ligo_local.sh	Try to fix CI again	2019-09-08 12:37:11 -07:00
install_build_environment.sh	Fix CI and Makefile (WIP)	2019-09-06 17:27:09 +02:00
install_native_dependencies.sh	Started using the scripts/… in .gitignore, started a Makefile for one-liners to be used by the devs, e.g. make build-deps, make, make test	2019-06-10 10:19:49 +02:00
install_opam.sh	Fix CI and Makefile (WIP)	2019-09-06 17:27:09 +02:00
install_vendors_deps.sh	Ligolang tezos repo	2019-09-13 13:20:40 +00:00
installer.sh	Use "next" instead of "latest"	2019-06-10 19:02:49 +02:00
ligo_ci.sh	Refactor/add cli tests	2019-09-22 13:06:52 +00:00
ligo.sh	Adding --rm to ligo.sh	2019-10-07 18:02:00 -05:00
setup_dev_switch.sh	Try to fix CI again	2019-09-08 12:37:11 -07:00
setup_ligo_opam_repository.sh	Use sh, not bash	2019-06-10 10:23:18 +02:00
setup_repos.sh	Ligolang tezos repo	2019-09-13 13:20:40 +00:00
setup_switch.sh	Try to fix CI again	2019-09-08 12:37:11 -07:00
test_cli.sh	Don't test exact compiler output	2019-09-25 13:40:32 -05:00
test_ligo.sh	Fix CI and Makefile (WIP)	2019-09-06 17:27:09 +02:00