Build agent in derivation

.gitignore

@@ -1 +1,2 @@
 build
+result

default.nix

@@ -12,10 +12,16 @@ let
 in
 stdenv.mkDerivation {
   name = "x25519-agent";
+  src = nix-gitignore.gitignoreSource [] ./.;
 
   nativeBuildInputs = [
     gnumake
     gcc
     jasmin
   ];
+
+  installPhase = ''
+    mkdir $out
+    cp build/agent $out
+  '';
 }

src/agent.jazz

@@ -1,7 +1,7 @@
 from Jade require "crypto_scalarmult/curve25519/amd64/mulx/curve25519.jinc"
 
-export fn main(reg u64 p) -> reg u64 {
+export fn agent_start(reg u64 shared_mem sync_mem) {
-    reg u64 ret;
+    while (true) {
-    ret = 0;
+        
-    return ret;
+    }
 }