Add more recipes

recipes/wip/dev/blockchain/foundry/recipe.toml

@@ -0,0 +1,10 @@
+#TODO not compiled or tested
+[source]
+git = "https://github.com/foundry-rs/foundry"
+shallow_clone = true
+[build]
+template = "custom"
+script = """
+DYNAMIC_INIT
+cookbook_cargo_packages anvil cast chisel forge
+"""

recipes/wip/dev/blockchain/geth/recipe.toml

@@ -0,0 +1,7 @@
+#TODO missing script for gnu make: https://geth.ethereum.org/docs/getting-started/installing-geth#build-from-source
+[source]
+git = "https://github.com/ethereum/go-ethereum"
+branch = "release/1.16"
+shallow_clone = true
+[build]
+template = "custom"

recipes/wip/dev/build-system/sbt/recipe.toml

@@ -0,0 +1,7 @@
+#TODO missing script for building, discover how to build
+[source]
+git = "https://github.com/sbt/sbt"
+branch = "1.12.x"
+shallow_clone = true
+[build]
+template = "custom"

recipes/wip/dev/build-system/scala-cli/recipe.toml

@@ -0,0 +1,11 @@
+#TODO not tested yet
+[build]
+template = "custom"
+script = """
+mkdir -pv "${COOKBOOK_STAGE}"/usr/bin
+wget https://github.com/VirtusLab/scala-cli/releases/download/v1.12.1/scala-cli.jar "${COOKBOOK_STAGE}"/usr/bin
+echo "#!/usr/bin/env sh \n java -jar scala-cli.jar" > "${COOKBOOK_STAGE}"/usr/bin/scala-cli
+chmod a+x "${COOKBOOK_STAGE}"/usr/bin/scala-cli
+"""
+[package]
+dependencies = ["openjdk21"]

recipes/wip/dev/lang/scala/recipe.toml

@@ -0,0 +1,7 @@
+#TODO missing script for sbt
+# probable build instructions: https://github.com/scala/scala3#building-a-local-distribution
+[source]
+tar = "https://github.com/scala/scala3/releases/download/3.3.7/scala3-3.3.7.tar.gz"
+[build]
+template = "custom"
+dev-dependencies = ["host:sbt"]

recipes/wip/dev/proofs/cvc5/recipe.toml

@@ -0,0 +1,15 @@
+#TODO not compiled or tested
+#TODO run configure.sh or cmake directly?
+# build instructions: https://github.com/cvc5/cvc5/blob/main/INSTALL.rst
+[source]
+git = "https://github.com/cvc5/cvc5"
+rev = "cvc5-1.3.2"
+shallow_clone = true
+[build]
+template = "cmake"
+cmakeflags = [
+    "-DENABLE_AUTO_DOWNLOAD=ON",
+]
+dependencies = [
+    "libgmp",
+]

recipes/wip/dev/proofs/eldarica/recipe.toml

@@ -0,0 +1,8 @@
+#TODO missing script for sbt
+# build instructions: https://github.com/uuverifiers/eldarica#documentation
+[source]
+git = "https://github.com/uuverifiers/eldarica"
+rev = "v2.2.1"
+shallow_clone = true
+[build]
+template = "custom"

recipes/wip/dev/proofs/z3/recipe.toml

@@ -0,0 +1,8 @@
+#TODO not compiled or tested
+# build instructions: https://github.com/Z3Prover/z3/blob/master/README-CMake.md
+[source]
+git = "https://github.com/Z3Prover/z3"
+rev = "z3-4.15.4"
+shallow_clone = true
+[build]
+template = "cmake"

recipes/wip/finance/crypto/eth/lighthouse/recipe.toml

@@ -0,0 +1,12 @@
+#TODO not compiled or tested
+# build instructions: https://lighthouse-book.sigmaprime.io/installation_source.html
+[source]
+git = "https://github.com/sigp/lighthouse"
+branch = "stable"
+shallow_clone = true
+[build]
+template = "custom"
+script = """
+DYNAMIC_INIT
+cookbook_cargo_packages lighthouse
+"""

recipes/wip/finance/crypto/eth/reth/recipe.toml

@@ -0,0 +1,11 @@
+#TODO not compiled or tested
+# build instructions: https://reth.rs/installation/source
+[source]
+git = "https://github.com/paradigmxyz/reth
+shallow_clone = true
+[build]
+template = "custom"
+script = """
+DYNAMIC_INIT
+cookbook_cargo_packages reth
+"""