John David Pressman
8e715f17a7
Swap makefile-native test command with script, add script
2019-06-08 21:57:46 -07:00
John David Pressman
540bf1d550
Use hopefully valid syntax with test if conditional
2019-06-08 21:20:33 -07:00
John David Pressman
77b743f0e1
Try adding failure case message to makefile test
2019-06-08 21:13:59 -07:00
John David Pressman
c30244a4e4
Add a second test conditional to stop double-execution of make scripts
2019-06-08 20:11:29 -07:00
John David Pressman
30700aefd4
Try shell if syntax in makefile
2019-06-08 19:04:59 -07:00
John David Pressman
8c8f1c4577
Try moving oneshell invocation
2019-06-08 18:27:30 -07:00
John David Pressman
7413ac22d6
Add oneshell to makefile and fix filename bug in build env script
2019-06-08 15:19:47 -07:00
John David Pressman
512044c52b
Change first if conditional so upgrade q only asked if opam installed
2019-06-08 14:19:07 -07:00
John David Pressman
1592da58b7
Fix typos breaking first if conditional, syntax error
2019-06-08 12:13:06 -07:00
John David Pressman
0575176939
Make build env script more robust, take it out of makefile
2019-06-08 12:03:53 -07:00
John David Pressman
efb480a449
Fix typos/miscalls, minor tweaks
2019-06-08 01:57:32 -07:00
John David Pressman
a1a61e64f9
Add execution permissions to new build scripts
2019-06-07 22:25:34 -07:00
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
John David Pressman
ed418bae71
Add temporary build environment setup script
2019-06-07 22:01:23 -07:00
John David Pressman
ff50c920d7
Add environmental variable setter to make test
2019-06-01 20:07:16 -07:00
John David Pressman
c16c85f1de
Add execution privileges to build.sh
2019-06-01 20:04:46 -07:00
John David Pressman
f951161884
Move build.sh after emacs accidentally wrote it back in /src/
2019-06-01 03:36:10 -07:00
John David Pressman
d88beae3d4
Add environmental variables to make build
2019-06-01 02:24:59 -07:00
John David Pressman
b604c3badf
Undo addition of source command to makefile build-deps
2019-06-01 02:06:44 -07:00
John David Pressman
0537d9e333
Remove question from opam user-setup installation, attempt to set opam env vars
2019-05-31 23:44:48 -07:00
John David Pressman
1a8ced68af
Add execution permissions to shell scripts
2019-05-31 22:52:20 -07:00
John David Pressman
afa2722456
Change directory of make files
2019-05-31 22:32:23 -07:00
John David Pressman
533913fd36
Tweak make scripts based on observations in virtual machine
2019-05-31 21:09:08 -07:00
John David Pressman
849b91157f
Add rough draft of makefile to experiment with
2019-05-31 20:51:23 -07:00
Gabriel Alfour
9059c3c2f1
Merge branch 'rinderknecht-dev' into 'master'
...
Added simplifications of Ligodity for lambdas, sequences and conditionals.
See merge request ligolang/ligo!5
2019-05-28 15:47:16 +00:00
Christian Rinderknecht
af8e9bd238
Added simplifications of Ligodity for lambdas, sequences and
...
conditionals.
Enabled in parser a type annotation on lambda parameter, and
lifted the existing type annotation in patterns to become that
type annotation.
2019-05-28 17:00:43 +02:00
Galfour
50868302c6
minor rewriting; add docs
2019-05-28 10:46:22 +00:00
Georges Dupéron
b5f9a13001
Merge branch 'feature/#1-dockerfile-with-installation-script' into 'master'
...
Feature/#1 dockerfile with installation script
See merge request ligolang/ligo!3
2019-05-27 19:41:25 +00:00
Matej Sima
d83d8a5449
Add only 'master' to docker image deployment job
2019-05-27 18:47:10 +02:00
Matej Sima
c7853aa2d5
Merge branch 'master' of gitlab.com:ligolang/ligo into feature/#1-dockerfile-with-installation-script
...
# Conflicts:
# .gitlab-ci.yml
2019-05-27 18:35:52 +02:00
Matej Sima
efa3255c0c
Fix leftover debug URL
2019-05-27 18:10:58 +02:00
Matej Sima
b5f175f6c1
Add pulling of the docker image used by the CLI wrapper, nicer comments & messages
2019-05-27 18:10:25 +02:00
Georges Dupéron
dfa7932fe8
Moved build job for gitlab-pages into the main .gitlab-ci.yml
2019-05-27 18:07:11 +02:00
Matej Sima
15d1e0e580
Update paths to from gabriel.alfour to ligolang, add example ligo run with --help
2019-05-27 18:04:26 +02:00
Matej Sima
81a22846c1
Rename CI stages
2019-05-27 18:00:46 +02:00
Matej Sima
32150e79a5
Bring back non-publishing docker build
2019-05-27 17:46:51 +02:00
Matej Sima
3f4eff7ac7
Remove redundant job dependency on CI
2019-05-27 17:46:28 +02:00
Matej Sima
871fae2bf1
Rename post_script to after_script
2019-05-27 17:46:28 +02:00
Matej Sima
866bf7b552
Remove image caching as artifacts due to size limitations, introduce separate master / feature jobs instead
2019-05-27 17:46:28 +02:00
Matej Sima
76027dea9c
Rename CI variables for docker build & deploy
2019-05-27 17:45:44 +02:00
Matej Sima
002a320b4c
Change artifact name for built docker image
2019-05-27 17:45:10 +02:00
Matej Sima
a4ee2007d0
Persist docker image as an artifact
2019-05-27 17:45:10 +02:00
Matej Sima
214044942b
Remove redundant quotes from docker login CI command
2019-05-27 17:45:10 +02:00
Matej Sima
d423fa8e84
Add 'latest' tag to the built docker image
2019-05-27 17:43:39 +02:00
Matej Sima
f6a3404172
Update CI variable for docker registry url
2019-05-27 17:43:39 +02:00
Matej Sima
f5da4b8a88
Swap CI stages for temporary docker testing
2019-05-27 17:43:39 +02:00
Matej Sima
5feba725cb
Refactor docker image structure & CI
2019-05-27 17:43:39 +02:00
Georges Dupéron
cdf6d16a66
Merge repository ligolang.gitlab.io
2019-05-27 17:03:19 +02:00
Georges Dupéron
ffe4d1b66d
move before merging repositories
2019-05-27 16:56:47 +02:00
Georges Dupéron
80c693a5af
Docker: don't clone ligo twice
2019-05-27 13:46:49 +02:00
