From d99f757fa37080eabc7c5cd258251c1bc12165cb Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Fri, 1 Nov 2019 21:35:00 -0700 Subject: add build and deploy instructions --- README.md | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 355a12e..378ea86 100644 --- a/README.md +++ b/README.md @@ -15,11 +15,14 @@ well-defined. Likewise, the functionality and purpose of a particular namespace should be small and well-defined. Following the unix principle of "do one thing and do it well" is advised. -Namespaces refer to conceptual boundaries. Implementations can be in any number -of languages, indicated by the file extension. For example, we can have -`com.example.api.hs` and `com.example.api.scm` in order to have an API client in -both Haskell and Scheme. Building `com.example.api` should compile both pieces -of code. +To build code, do: + + nix build -f default.nix + +Deploy: + + nix copy --to ssh://root@simatime.com ./result + ssh root@simatime.com $(realpath ./result)/bin/switch-to-configuration switch # Goals of the developer workflow: -- cgit v1.2.3