Commit Graph

55 Commits

Author SHA1 Message Date
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