digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-11-10 10:46:11 +03:00
Code Issues Projects Releases Wiki Activity
1956dd2f89
daml/dev-env/bin
History
Andreas Herrmann 559c78003e
Update rules_haskell (#4751) 
* Update rules_haskell

The workaround for linking against `Cffi` in the REPL has been
upstreamed in a more generalized form.

CHANGELOG_BEGIN
CHANGELOG_END

* ghcide: Use rules_haskell's hie-bios support

* Document `ghcide` Bazel integration

* Rename files to match module names

Co-authored-by: Andreas Herrmann <andreas.herrmann@tweag.io>
2020-03-13 16:49:34 +01:00
..
aws target s3 bucket with docs refresh script (#1287) 2019-05-21 22:26:07 +00:00
base64 open-sourcing daml 2019-04-04 09:33:38 +01:00
bats open-sourcing daml 2019-04-04 09:33:38 +01:00
bazel open-sourcing daml 2019-04-04 09:33:38 +01:00
bazel-api-docs open-sourcing daml 2019-04-04 09:33:38 +01:00
bazel-deps open-sourcing daml 2019-04-04 09:33:38 +01:00
bazel-project-view open-sourcing daml 2019-04-04 09:33:38 +01:00
bq open-sourcing daml 2019-04-04 09:33:38 +01:00
buck-out open-sourcing daml 2019-04-04 09:33:38 +01:00
cabal2nix open-sourcing daml 2019-04-04 09:33:38 +01:00
cc Dev env fixes (#232) 2019-04-04 16:46:06 -04:00
chromedriver open-sourcing daml 2019-04-04 09:33:38 +01:00
circo open-sourcing daml 2019-04-04 09:33:38 +01:00
convert open-sourcing daml 2019-04-04 09:33:38 +01:00
coursier open-sourcing daml 2019-04-04 09:33:38 +01:00
cram open-sourcing daml 2019-04-04 09:33:38 +01:00
curl Dev env fixes (#232) 2019-04-04 16:46:06 -04:00
da-ghci update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00
da-ghcid update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00
da-install-git-hooks open-sourcing daml 2019-04-04 09:33:38 +01:00
da-test-haskell-update-expected open-sourcing daml 2019-04-04 09:33:38 +01:00
da-update-python-srcs open-sourcing daml 2019-04-04 09:33:38 +01:00
da-virtualenv open-sourcing daml 2019-04-04 09:33:38 +01:00
dad-add-source-dep.sh update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00
dade open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-assist open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-closure-size open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-collect-garbage dade-collect-garbage to delete ~/.bazel-cache as part of the cleanup (#1061) 2019-05-09 16:09:29 -04:00
dade-copyright-headers add copyright headers to yml files (#4407) 2020-02-06 12:54:07 +01:00
dade-env open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-freeze Disable http2 with Nix to work around segfaults (#4427) 2020-02-06 15:15:11 +00:00
dade-help open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-init open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-list open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-list-broken-symlinks open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-pipenv-lock open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-preload open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-prepare-for-update open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-release-tool open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-test-sh open-sourcing daml 2019-04-04 09:33:38 +01:00
daml-sdk-head Added --damlc option to daml-sdk-head (#4853) 2020-03-05 16:38:56 +00:00
data-uri open-sourcing daml 2019-04-04 09:33:38 +01:00
dependency-check open-sourcing daml 2019-04-04 09:33:38 +01:00
docker-credential-gcr add docker-credential-gcr to dev-env (#1533) 2019-06-05 19:36:31 -04:00
dot open-sourcing daml 2019-04-04 09:33:38 +01:00
fdp open-sourcing daml 2019-04-04 09:33:38 +01:00
flake8 open-sourcing daml 2019-04-04 09:33:38 +01:00
fsc open-sourcing daml 2019-04-04 09:33:38 +01:00
gawk open-sourcing daml 2019-04-04 09:33:38 +01:00
gcloud open-sourcing daml 2019-04-04 09:33:38 +01:00
ghci open-sourcing daml 2019-04-04 09:33:38 +01:00
ghcid fix dev-env ghcid (#3218) 2019-10-18 12:27:41 +02:00
ghcide Update rules_haskell (#4751) 2020-03-13 16:49:34 +01:00
gpg Fixes #1204: Release bindings and codegens to Maven Central. (#1205) 2019-06-17 15:37:49 +02:00
grep add grep to dev-env (#4903) 2020-03-10 10:34:01 +01:00
grpcurl open-sourcing daml 2019-04-04 09:33:38 +01:00
gsutil open-sourcing daml 2019-04-04 09:33:38 +01:00
hlint open-sourcing daml 2019-04-04 09:33:38 +01:00
hub-detect open-sourcing daml 2019-04-04 09:33:38 +01:00
ibazel open-sourcing daml 2019-04-04 09:33:38 +01:00
ipython open-sourcing daml 2019-04-04 09:33:38 +01:00
jar open-sourcing daml 2019-04-04 09:33:38 +01:00
java open-sourcing daml 2019-04-04 09:33:38 +01:00
javac open-sourcing daml 2019-04-04 09:33:38 +01:00
jfrog open-sourcing daml 2019-04-04 09:33:38 +01:00
jinfo open-sourcing daml 2019-04-04 09:33:38 +01:00
jmap open-sourcing daml 2019-04-04 09:33:38 +01:00
jo open-sourcing daml 2019-04-04 09:33:38 +01:00
jq correct jq in dev-env (#463) 2019-04-12 16:44:15 -04:00
jstack open-sourcing daml 2019-04-04 09:33:38 +01:00
license-checker open-sourcing daml 2019-04-04 09:33:38 +01:00
live-server open-sourcing daml 2019-04-04 09:33:38 +01:00
m4 open-sourcing daml 2019-04-04 09:33:38 +01:00
make open-sourcing daml 2019-04-04 09:33:38 +01:00
mvn open-sourcing daml 2019-04-04 09:33:38 +01:00
nix-prefetch-git open-sourcing daml 2019-04-04 09:33:38 +01:00
nix-update-src-json open-sourcing daml 2019-04-04 09:33:38 +01:00
node open-sourcing daml 2019-04-04 09:33:38 +01:00
node2nix open-sourcing daml 2019-04-04 09:33:38 +01:00
npm open-sourcing daml 2019-04-04 09:33:38 +01:00
openssl open-sourcing daml 2019-04-04 09:33:38 +01:00
osht open-sourcing daml 2019-04-04 09:33:38 +01:00
pandoc open-sourcing daml 2019-04-04 09:33:38 +01:00
patch open-sourcing daml 2019-04-04 09:33:38 +01:00
patchelf open-sourcing daml 2019-04-04 09:33:38 +01:00
pex open-sourcing daml 2019-04-04 09:33:38 +01:00
pip3 open-sourcing daml 2019-04-04 09:33:38 +01:00
pip3.6 open-sourcing daml 2019-04-04 09:33:38 +01:00
pipenv open-sourcing daml 2019-04-04 09:33:38 +01:00
protoc open-sourcing daml 2019-04-04 09:33:38 +01:00
pypi2nix open-sourcing daml 2019-04-04 09:33:38 +01:00
python open-sourcing daml 2019-04-04 09:33:38 +01:00
python3 open-sourcing daml 2019-04-04 09:33:38 +01:00
python3.6 open-sourcing daml 2019-04-04 09:33:38 +01:00
README.md remove mentions of da-int servers (#2485) 2019-08-12 10:42:41 +01:00
runpipenv open-sourcing daml 2019-04-04 09:33:38 +01:00
sass open-sourcing daml 2019-04-04 09:33:38 +01:00
sbt add sbt to dev-env (#964) 2019-05-07 09:27:38 -04:00
scala open-sourcing daml 2019-04-04 09:33:38 +01:00
scalac open-sourcing daml 2019-04-04 09:33:38 +01:00
scaladoc open-sourcing daml 2019-04-04 09:33:38 +01:00
scalafmt open-sourcing daml 2019-04-04 09:33:38 +01:00
scalap open-sourcing daml 2019-04-04 09:33:38 +01:00
semver open-sourcing daml 2019-04-04 09:33:38 +01:00
sha1sum open-sourcing daml 2019-04-04 09:33:38 +01:00
shellcheck open-sourcing daml 2019-04-04 09:33:38 +01:00
sphinx-autobuild open-sourcing daml 2019-04-04 09:33:38 +01:00
sphinx-build open-sourcing daml 2019-04-04 09:33:38 +01:00
sphinx-quickstart open-sourcing daml 2019-04-04 09:33:38 +01:00
terraform open-sourcing daml 2019-04-04 09:33:38 +01:00
thrift open-sourcing daml 2019-04-04 09:33:38 +01:00
tlc2 open-sourcing daml 2019-04-04 09:33:38 +01:00
tred open-sourcing daml 2019-04-04 09:33:38 +01:00
unflatten open-sourcing daml 2019-04-04 09:33:38 +01:00
wget open-sourcing daml 2019-04-04 09:33:38 +01:00
xmlstarlet open-sourcing daml 2019-04-04 09:33:38 +01:00
xxd open-sourcing daml 2019-04-04 09:33:38 +01:00
yapf open-sourcing daml 2019-04-04 09:33:38 +01:00
yarn open-sourcing daml 2019-04-04 09:33:38 +01:00
zinc open-sourcing daml 2019-04-04 09:33:38 +01:00
zip open-sourcing daml 2019-04-04 09:33:38 +01:00

README.md

dade-preload

This tool will force nix to build every derivation in the dev-env.

Wrapped tools

Once the dev-env is set up (either through direnv (recommended), or through manually sourcing one of dev-env/profile_{z,ba}sh.sh), the shell's PATH will look through dev-env/bin first for its executables. The executables in there are mostly scripts that redirect the call to the corresponding nix-built executable. However, having that script gives us an opportunity to wrap some of those commands in special ways; this section is meant to document in what ways the commands available in dev-env/bin have been modified from their vanilla variants.