Build library

Makefile

@@ -7,14 +7,14 @@ MAKE ?= make
 all: build
 	@true
 
-build: build/agent.S
+build: build/agent.o
-	$(CC) build/agent.S -o build/agent
+	ar -crs build/libagent.a build/agent.o
+
+build/%.o: build/%.S
+	$(CC) $< -c -o $@
 
 clean:
 	rm build/* 2> /dev/null || true
 
 build/%.S: src/%.jazz
 	JASMINPATH="Jade=libjade/src/" $(JC) $< -o $@
-
-run: build
-	build/agent

default.nix

@@ -12,7 +12,7 @@ let
 in
 stdenv.mkDerivation {
   name = "x25519-agent";
-  src = nix-gitignore.gitignoreSource [] ./.;
+  src = nix-gitignore.gitignoreSource [ ] ./.;
 
   nativeBuildInputs = [
     gnumake
@@ -20,8 +20,12 @@ stdenv.mkDerivation {
     jasmin
   ];
 
+  configurePhase = ''
+    mkdir build
+  '';
+
   installPhase = ''
-    mkdir $out
+    mkdir -p $out/lib
-    cp build/agent $out
+    cp build/libagent.a $out/lib
   '';
 }