Add jasmin as submodule because my branch cannot be build using nix-build

.gitmodules

@@ -1,3 +1,6 @@
 [submodule "libjade"]
 	path = libjade
 	url = https://github.com/Rixxc/libjade.git
+[submodule "jasmin"]
+	path = jasmin
+	url = https://github.com/Rixxc/jasmin.git

Makefile

@@ -1,8 +1,8 @@
-JC ?= jasminc
+JC ?= jasmin/compiler/jasminc
 CC ?= gcc
 MAKE ?= make
 
-.PHONY: clean run
+.PHONY: clean run $(JC)
 
 all: build
 	@true
@@ -16,5 +16,8 @@ build/%.o: build/%.S
 clean:
 	rm build/* 2> /dev/null || true
 
-build/%.S: src/%.jazz
+$(JC):
+	nix-shell jasmin/default.nix --command 'make -C jasmin/compiler CIL -j$(nproc) && make -C jasmin/compiler'
+
+build/%.S: src/%.jazz $(JC)
 	JASMINPATH="Jade=libjade/src/" $(JC) $< -o $@

default.nix

@@ -1,15 +1,15 @@
 { pkgs ? import <nixpkgs> { } }:
 with pkgs;
-let
+# let
-  jasmin-src = fetchFromGitHub {
+#   jasmin-src = fetchFromGitHub {
-    owner = "jasmin-lang";
+#     owner = "jasmin-lang";
-    repo = "jasmin";
+#     repo = "jasmin";
-    rev = "9bb6340fe0e3c5d78ea3957f6c5c3564c3424770";
+#     rev = "9bb6340fe0e3c5d78ea3957f6c5c3564c3424770";
-    hash = "sha256-EVwnD6dZLTy9MgR6gdymhg3Ipudpj1mchDlMpCAdITE=";
+#     hash = "sha256-EVwnD6dZLTy9MgR6gdymhg3Ipudpj1mchDlMpCAdITE=";
-  };
+#   };
-
+#
-  jasmin = callPackage "${jasmin-src}/default.nix" { inherit pkgs; };
+#   jasmin = callPackage "${jasmin-src}/default.nix" { inherit pkgs; };
-in
+# in
 stdenv.mkDerivation {
   name = "x25519-agent";
   src = nix-gitignore.gitignoreSource [ ] ./.;
@@ -17,15 +17,15 @@ stdenv.mkDerivation {
   nativeBuildInputs = [
     gnumake
     gcc
-    jasmin
+    # jasmin
   ];
 
-  configurePhase = ''
+  # configurePhase = ''
-    mkdir build
+  #   mkdir build
-  '';
+  # '';
-
+  #
-  installPhase = ''
+  # installPhase = ''
-    mkdir -p $out/lib
+  #   mkdir -p $out/lib
-    cp build/libagent.a $out/lib
+  #   cp build/libagent.a $out/lib
-  '';
+  # '';
 }