forked from runtimeverification/k
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitmodules
More file actions
15 lines (15 loc) · 711 Bytes
/
Copy path.gitmodules
File metadata and controls
15 lines (15 loc) · 711 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
[submodule "llvm-backend/src/main/native/llvm-backend"]
path = llvm-backend/src/main/native/llvm-backend
url = https://github.com/runtimeverification/llvm-backend
ignore = untracked
[submodule "haskell-backend/src/main/native/haskell-backend"]
path = haskell-backend/src/main/native/haskell-backend
url = https://github.com/runtimeverification/haskell-backend
ignore = untracked
[submodule "web/k-web-theme"]
path = web/k-web-theme
url = https://github.com/runtimeverification/k-web-theme
[submodule "hs-backend-booster/src/main/native/hs-backend-booster"]
path = hs-backend-booster/src/main/native/hs-backend-booster
url = https://github.com/runtimeverification/hs-backend-booster
ignore = untracked