From d0570f876ebee8c409f4892cdb909fd1f9e80247 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Mon, 11 Mar 2024 14:28:09 -0700 Subject: [PATCH] Add the SPA code as a submodule Signed-off-by: Danila Fedorin --- .gitmodules | 3 +++ code/agda-spa | 1 + config-gen.toml | 3 +++ 3 files changed, 7 insertions(+) create mode 160000 code/agda-spa diff --git a/.gitmodules b/.gitmodules index bb7a83b..1512c06 100644 --- a/.gitmodules +++ b/.gitmodules @@ -13,3 +13,6 @@ [submodule "code/compiler"] path = code/compiler url = https://dev.danilafe.com/DanilaFe/bloglang.git +[submodule "code/agda-spa"] + path = code/agda-spa + url = https://dev.danilafe.com/DanilaFe/agda-spa.git diff --git a/code/agda-spa b/code/agda-spa new file mode 160000 index 0000000..f0da9a9 --- /dev/null +++ b/code/agda-spa @@ -0,0 +1 @@ +Subproject commit f0da9a902005b24db4e03a89c2862493735467c4 diff --git a/config-gen.toml b/config-gen.toml index eecac96..c40bef1 100644 --- a/config-gen.toml +++ b/config-gen.toml @@ -1,5 +1,8 @@ [params] [params.submoduleLinks] + [params.submoduleLinks.agdaspa] + url = "https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/f0da9a902005b24db4e03a89c2862493735467c4" + path = "agda-spa" [params.submoduleLinks.aoc2020] url = "https://dev.danilafe.com/Advent-of-Code/AdventOfCode-2020/src/commit/7a8503c3fe1aa7e624e4d8672aa9b56d24b4ba82" path = "aoc-2020"