The Daml smart contract language
Go to file
Robin Krom 829cb4cef5
Daml stdlib with versions (#2479)
* language: build daml_stdlib with a version in the package name.

* versioned daml-stdlib in damlc

* reformat bazel files

* fix daml_doc_test
2019-08-12 16:05:28 +02:00
.github Include change management checkbox in PR template (#2318) 2019-07-31 17:36:00 +02:00
.vscode open-sourcing daml 2019-04-04 09:33:38 +01:00
3rdparty Support generic templates (#2465) 2019-08-09 17:15:51 -04:00
bazel_tools Upgrade haskell-lsp and lsp-test (#2474) 2019-08-09 15:09:59 +02:00
build-scripts correct jq in dev-env (#463) 2019-04-12 16:44:15 -04:00
ci record build times on macos (#2379) 2019-08-02 14:34:12 +01:00
compiler Daml stdlib with versions (#2479) 2019-08-12 16:05:28 +02:00
daml-assistant Only change project root once (#2459) 2019-08-08 19:56:04 +02:00
daml-lf engine: cleanup environment (#2480) 2019-08-09 19:53:40 +00:00
dev-env remove mentions of da-int servers (#2485) 2019-08-12 10:42:41 +01:00
docs Release 0.13.18 (#2447) 2019-08-07 17:13:13 +00:00
extractor remove mentions of da-int servers (#2485) 2019-08-12 10:42:41 +01:00
ghc-lib remove mentions of da-int servers (#2485) 2019-08-12 10:42:41 +01:00
hazel Remove zip-archive override and upgrade stackage snapshot (#1920) 2019-06-27 22:47:52 +01:00
infra remove mentions of da-int servers (#2485) 2019-08-12 10:42:41 +01:00
language-support Use per-test parties in HS ledger bindings tests (#2481) 2019-08-12 12:56:18 +02:00
ledger remove mentions of da-int servers (#2485) 2019-08-12 10:42:41 +01:00
ledger-api New Ledger API test tool (#2282) 2019-08-09 17:00:37 +02:00
ledger-service Based the interface reader on the archive decoder. (#2441) 2019-08-09 18:15:46 +00:00
libs-haskell Fix pretty printing of empty annotations in DAML-LF AST (#2453) 2019-08-08 12:11:56 +00:00
navigator Based the interface reader on the archive decoder. (#2441) 2019-08-09 18:15:46 +00:00
nix remove mentions of da-int servers (#2485) 2019-08-12 10:42:41 +01:00
notices-gen {-# LANGUAGE OverloadedStrings #-} is now on by default (#2270) 2019-07-24 08:09:26 +01:00
oss-compliance Move code in daml-tools outside of daml-foundations (#2033) 2019-07-08 11:40:48 +02:00
release Organizing SDK ledger commands, adding ledger upload-dar and ledger navigator commands. (#2416) 2019-08-06 12:41:43 +01:00
replacements open-sourcing daml 2019-04-04 09:33:38 +01:00
rules_daml Daml stdlib with versions (#2479) 2019-08-12 16:05:28 +02:00
scala-protoc-plugins #2064 Include com.digitalasset namespacing in package names (#2081) 2019-07-09 21:17:59 +00:00
templates language: add a 'main' option to the migration command (#2229) 2019-07-19 16:32:53 +02:00
.bazelignore open-sourcing daml 2019-04-04 09:33:38 +01:00
.bazelrc fix fetch repo in bazelrc (#2411) 2019-08-06 12:31:06 +01:00
.dadew Fix curl on Windows (#1925) 2019-06-28 08:02:05 +00:00
.dockerignore open-sourcing daml 2019-04-04 09:33:38 +01:00
.envrc open-sourcing daml 2019-04-04 09:33:38 +01:00
.gitattributes Follow up with .gitattributes on #1762 (#1770) 2019-06-19 15:29:13 +00:00
.gitignore Move all damlc tests to compiler/damlc/tests (#2057) 2019-07-09 13:38:58 +02:00
.hie-bios Add a damlc doctest command and test the standard library (#2157) 2019-07-16 15:51:01 +02:00
.hlint.yaml improve haskell module hierarchy to be more consistent (#2319) 2019-07-29 15:55:55 +01:00
.mergify.yml Rename automerge-dangerous-but-faster to automerge (#1605) 2019-06-12 08:37:07 -04:00
.scalafmt.conf open-sourcing daml 2019-04-04 09:33:38 +01:00
.watchmanconfig open-sourcing daml 2019-04-04 09:33:38 +01:00
azure-cron.yml Revert "add old releases to hubspot (#2290)" (#2308) 2019-07-29 08:16:33 +00:00
azure-pipelines.yml macOS: cache the bazel repo cache (#2420) 2019-08-07 11:04:49 +01:00
BAZEL-bash.md add Bazel bash help (#2223) 2019-07-19 15:31:45 +00:00
BAZEL-haskell.md Move code in daml-tools outside of daml-foundations (#2033) 2019-07-08 11:40:48 +02:00
BAZEL-JVM.md open-sourcing daml 2019-04-04 09:33:38 +01:00
BAZEL.md Turn the damlc module hierarchy into something a bit more sane (#2061) 2019-07-09 15:10:40 +02:00
BUILD Daml stdlib with versions (#2479) 2019-08-12 16:05:28 +02:00
build.ps1 windows: root build (#1894) 2019-06-28 12:55:31 +02:00
build.sh Move code in daml-tools outside of daml-foundations (#2033) 2019-07-08 11:40:48 +02:00
CHANGELOG Move unreleased user-facing features to its own file (#1762) 2019-06-19 16:32:03 +02:00
CODE_OF_CONDUCT.md open-sourcing daml 2019-04-04 09:33:38 +01:00
CODEOWNERS New Ledger API test tool (#2282) 2019-08-09 17:00:37 +02:00
CONTRIBUTING.md Minor Docs fixes (#2277) 2019-07-25 16:02:42 +02:00
COPY HOTFIX rename COPYRIGHT so github correctly shows apache2 license for repo (#274) 2019-04-05 22:10:47 -04:00
dependencies.yaml JWT HMAC256 Authorization (#2389) 2019-08-07 16:26:26 +00:00
deps.bzl Ghc lib 8.8.0.20190723 (#2279) 2019-07-25 08:59:34 +00:00
dotfiles open-sourcing daml 2019-04-04 09:33:38 +01:00
fmt.sh Move files in daml-foundations/daml-ghc to compiler/damlc (#2037) 2019-07-08 17:55:51 +02:00
LICENSE Include Digital Asset Copyright in LICENSE file (#1022) 2019-05-08 14:35:21 -04:00
NOTICES open-sourcing daml 2019-04-04 09:33:38 +01:00
package.json Update to bazel-0.27 (#1957) 2019-07-05 14:04:47 +00:00
README.md Minor Docs fixes (#2277) 2019-07-25 16:02:42 +02:00
scalafmt.sh open-sourcing daml 2019-04-04 09:33:38 +01:00
SECURITY.md Create SECURITY.md (#1357) 2019-05-31 08:58:21 +01:00
tsconfig.json open-sourcing daml 2019-04-04 09:33:38 +01:00
unreleased.rst Support generic templates (#2465) 2019-08-09 17:15:51 -04:00
Upgrading.md Switch to nixpkgs-unstable (#1921) 2019-06-27 18:47:42 +02:00
util.bzl Get haskell-ide-core to work on our codebase (#1692) 2019-06-16 15:42:48 +02:00
VERSION Release 0.13.18 (#2447) 2019-08-07 17:13:13 +00:00
WORKSPACE Support generic templates (#2465) 2019-08-09 17:15:51 -04:00
yarn.lock Bump lodash from 4.17.11 to 4.17.14 (#2099) 2019-07-11 01:35:41 +00:00

DAML logo

Download License Build

Copyright 2019 Digital Asset (Switzerland) GmbH and/or its affiliates. All Rights Reserved. SPDX-License-Identifier: Apache-2.0

Welcome to the DAML repository!

This repository hosts all code for the DAML smart contract language and SDK, originally created by Digital Asset. DAML is an open-source smart contract language for building future-proof distributed applications on a safe, privacy-aware runtime. The DAML SDK is a set of tools to help you develop applications based on DAML.

Using DAML

To download DAML, follow the installation instructions. Once installed, to try it out, follow the quickstart guide.

If you have questions about how to use DAML or how to build DAML-based solutions, please ask them on StackOverflow using the daml tag.

Contributing to DAML

We warmly welcome contributions. If you are looking for ideas on how to contribute, please browse our issues. To build and test DAML:

1. Clone this repository

git clone git@github.com:digital-asset/daml.git
cd daml

2. Set up the development dependencies

Our builds require various development dependencies (e.g. Java, Bazel, Python), provided by a tool called dev-env.

Linux and Mac

On Linux and Mac dev-env can be installed with:

  1. Install Nix by running: bash <(curl https://nixos.org/nix/install)
  2. Enter dev-env by running: eval "$(dev-env/bin/dade assist)"

If you don't want to enter dev-env manually each time using eval "$(dev-env/bin/dade assist)", you can also install direnv. This repo already provides a .envrc file, with an option to add more in a .envrc.private file.

Windows

On Windows you need to enable long file paths by running the following command in an admin powershell:

Set-ItemProperty -Path 'HKLM:\SYSTEM\CurrentControlSet\Control\FileSystem' -Name LongPathsEnabled -Type DWord -Value 1

Then start dev-env from PowerShell with:

.\dev-env\windows\bin\dadew.ps1 install
.\dev-env\windows\bin\dadew.ps1 sync
.\dev-env\windows\bin\dadew.ps1 enable

In all new PowerShell processes started, you need to repeat the enable step.

3. First build and test

We have a single script to build most targets and run the tests. On Linux and Mac run ./build.sh. On Windows run .\build.ps1. Note that these scripts may take over an hour the first time.

To just build do bazel build //..., and to just test do bazel test //.... To read more about Bazel and how to use it, see the Bazel site.

On Mac if building is causing trouble complaining about missing nix packages, you can try first running nix-build -A tools -A cached nix repeatedly until it completes without error.

4. Installing a local copy

On Linux and Mac run daml-sdk-head which installs a version of the SDK with version number 0.0.0. Set the version: field in any DAML project to 0.0.0 and it will use the locally installed one.

On Windows:

bazel build //release:sdk-release-tarball
tar -vxf .\bazel-genfiles\release\sdk-release-tarball.tar.gz
cd sdk-*
daml\daml.exe install . --activate

That should tell you what to put in the path, something along the lines of C:\Users\admin\AppData\Roaming\daml\bin. Note that the Windows build is not yet fully functional.

Caching: build speed and disk space considerations

Bazel has a lot of nice properties, but they come at the cost of frequently rebuilding "the world". To make that bearable, we make extensive use of caching. Most artifacts should be cached in our CDN, which is configured in .bazelrc in this project.

However, even then, you may end up spending a lot of time (and bandwidth!) downloading artifacts from the CDN. To alleviate that, by default, our build will create a subfolder .bazel-cache in this project and keep an on-disk cache. This can take about 10GB at the time of writing.

To disable the disk cache, remove the following lines:

build:linux --disk_cache=.bazel-cache
build:darwin --disk_cache=.bazel-cache

from the .bazelrc file.

If you work with multiple copies of this repository, you can point all of them to the same disk cache by overwriting these configs in either a .bazelrc.local file in each copy, or a ~/.bazelrc file in your home directory.

Haskell profiling builds

To build Haskell executables with profiling enabled, pass -c dbg to Bazel, e.g. bazel build -c dbg damlc. If you want to build the whole SDK with profiling enabled use daml-sdk-head --profiling.