add repo support for 3rdparty modules

Cargo.toml

@@ -37,6 +37,8 @@ getrandom = "0.1.14"
 lazy_static = "1.4.0"
 serde_cbor = "0.11.1"
 sha2 = "0.8"
+reqwest = "0.10.4"
+url = "2.1.1"
 
 [dependencies.rsmt2-zz]
 version = "0.11.1"

ci.sh

@@ -19,14 +19,9 @@ done
 
 for i in $THIS/modules/*
 do
-
-    if  [ ! "$OSTYPE" = "msys" ] || [[ ! "$i" = *"/io" && ! "$i" = *"/net" && "$i" = *"/fs" ]]; then
-        cd $i        
-        ../../target/release/zz --smt-timeout=200000 clean
-        ../../target/release/zz --smt-timeout=200000 test
-    else
-        echo "skip module $i"
-    fi
+    cd $i
+    ../../target/release/zz --smt-timeout=200000 clean
+    ../../target/release/zz --smt-timeout=200000 test
 done
 
 echo

examples/packages_from_git/src/main.zz

@@ -0,0 +1,6 @@
+using <stdio.h>::{printf};
+
+export fn main() -> int {
+    printf("hello packages_from_git\n");
+    return 0;
+}

modules/net/zz.toml → examples/packages_from_git/zz.toml

@@ -1,17 +1,17 @@
 [project]
 version = "0.1.0"
-name = "net"
+name = "packages_from_git"
 cincludes = []
 cobjects = []
 pkgconfig = []
 cflags = []
 lflags = []
 
+[variants]
+default = []
+
 [dependencies]
-string = "1"
-err = "1"
-byteorder = "1"
 io = "1"
 
-[variants]
-default = []
+[repos]
+extra = "git://github.com/zetzit/modules.git"