Fran
6984d9765d
Make daml-head work outside of devenv. ( #428 )
2019-04-12 12:03:05 +02:00
Fran
78d77d0a2e
Add a daml-sdk-head script. ( #404 )
2019-04-11 16:49:02 +02:00
Michał Majcherski
08bd36a10c
Windows CI ( #364 )
...
* ci: remove the old Jenkins files
* WORKSPACE: remove unuset this_breaks_windows
* ci: add Windows builds to Azure Pipeline
2019-04-11 14:26:55 +02:00
Florian Klink
e9b128ea68
windows dev-env: remove wget ( #331 )
...
This also removes the manifest-change tests, as the test was testing a
wget update.
2019-04-09 16:24:51 +01:00
Brian Healey
4d7f455168
HOTFIX rename COPYRIGHT so github correctly shows apache2 license for repo ( #274 )
2019-04-05 22:10:47 -04:00
Michał Majcherski
c3e33df9f9
windows: build script with dev-env init; windows dev-env readme cleanup ( #250 )
2019-04-05 14:37:42 +01:00
Nikola Knežević
79f8bf0a58
Simplify profile_zsh.sh ( #212 )
...
Rely on zsh features to simplify profile_zsh.sh file.
- Remove `DADE_REPO_ROOT` as it is not needed anywhere, `dade-assist` redefines
it already.
- `${0:A:h}` gives the absolute path of the folder *this* file resides in, no
need for `cd`, `dirname`, and `pwd` combo.
- Use simple process redirection (`<`), as it is more robust than the one in
bash, and works better than `<<<`
2019-04-05 12:45:34 +02:00
moritzkiefer-da
f4a9e94f0d
Dev env fixes ( #232 )
...
* Fix curl in dev-env
Curl ends up in the bin output so we need to symlink to
dade-exec-nix-bin-tool.
* Add cc to dev-env
2019-04-04 16:46:06 -04:00
Francesco Mazzoli
9c7357c7de
update all references of old repo to new repo
2019-04-04 16:20:07 +02:00
Digital Asset GmbH
05e691f558
open-sourcing daml
2019-04-04 09:33:38 +01:00
