.gitmodules

#
#   Copyright (C) 2014-2024 The SEA Language <https://sealang.org>
#   All rights reserved.
#
#   Developed by: Philipp Paulweber et al.
#   <https://github.com/sealangdotorg/sea/graphs/contributors>
#
#   This file is part of sea.
#
#   sea is free software: you can redistribute it and/or modify it
#   under the terms of the Mozilla Public License Version 2.0 (MPL-2.0).
#
#   sea is distributed in the hope that it will be useful, but WITHOUT
#   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
#   or FITNESS FOR A PARTICULAR PURPOSE.
#   See the MPL-2.0 License for more details.
#
#   You should have received a copy of the MPL-2.0 License along with sea.
#   If not, see <https://www.mozilla.org/en-US/MPL/2.0/>.
#
#   Please note that the attached MPL-2.0 license provides two additional
#   exceptions in order to use the generated source code produced by sea
#   compiler as well as the linking and integrating of sea interpreter
#   runtime with the users license choice as long as the sea source code
#   is unchanged and unaffected in any way.

#
#
# Applications
#

[submodule "app/casmc"] # internal
	path = app/casmc
	url = https://github.com/casm-lang/casmc.git

[submodule "app/casmf"]
	path = app/casmf
	url = https://github.com/casm-lang/casmf.git

[submodule "app/casmd"]
	path = app/casmd
	url = https://github.com/casm-lang/casmd.git

[submodule "app/casmi"]
	path = app/casmi
	url = https://github.com/casm-lang/casmi.git

#
#
# Libraries (External Forks)
#

[submodule "lib/asmjit"]
	path = lib/asmjit
	url = https://github.com/casm-lang/libasmjit.git

[submodule "lib/gtest"]
	path = lib/gtest
	url = https://github.com/casm-lang/libgtest.git

[submodule "lib/hayai"]
	path = lib/hayai
	url = https://github.com/casm-lang/libhayai.git

[submodule "lib/z3"] # external
	path = lib/z3
	url = https://github.com/casm-lang/libz3.git

#
#
# Libraries (General)
#

[submodule "lib/stdhl"]
	path = lib/stdhl
	url = https://github.com/casm-lang/libstdhl.git

[submodule "lib/pass"]
	path = lib/pass
	url = https://github.com/casm-lang/libpass.git

[submodule "lib/tptp"]
	path = lib/tptp
	url = https://github.com/casm-lang/libtptp.git

#
#
# Libraries (CASM)
#

[submodule "lib/casm-ir"]
	path = lib/casm-ir
	url = https://github.com/casm-lang/libcasm-ir.git

[submodule "lib/casm-rt"] # internal
	path = lib/casm-rt
	url = https://github.com/casm-lang/libcasm-rt.git

[submodule "lib/casm-fe"]
	path = lib/casm-fe
	url = https://github.com/casm-lang/libcasm-fe.git

[submodule "lib/casm-be"] # internal
	path = lib/casm-be
	url = https://github.com/casm-lang/libcasm-be.git

[submodule "lib/casm-tc"]
	path = lib/casm-tc
	url = https://github.com/casm-lang/libcasm-tc.git

#
#
# Libraries (CJEL)
#

[submodule "lib/cjel-ir"] # internal
	path = lib/cjel-ir
	url = https://github.com/casm-lang/libcjel-ir.git

[submodule "lib/cjel-rt"] # internal
	path = lib/cjel-rt
	url = https://github.com/casm-lang/libcjel-rt.git

[submodule "lib/cjel-be"] # internal
	path = lib/cjel-be
	url = https://github.com/casm-lang/libcjel-be.git

#
#
# Extension (Plug-ins)
#

[submodule "ext/emacs"] # internal
	path = ext/emacs
	url = https://github.com/casm-lang/casm-lang.plugin.emacs.git

[submodule "ext/kate"] # internal
	path = ext/kate
	url = https://github.com/casm-lang/casm-lang.plugin.kate.git

[submodule "ext/monaco"] # internal
	path = ext/monaco
	url = https://github.com/casm-lang/casm-lang.plugin.monaco.git

[submodule "ext/tmbundle"] # internal
	path = ext/tmbundle
	url = https://github.com/casm-lang/casm-lang.plugin.tmbundle.git

[submodule "ext/vscode"] # internal
	path = ext/vscode
	url = https://github.com/casm-lang/casm-lang.plugin.vscode.git

#
#
# Packages
#

[submodule "pkg/archlinux"] # internal
	path = pkg/archlinux
	url =  https://github.com/casm-lang/casm-lang.pkg.archlinux.git

[submodule "pkg/appimage"] # internal
	path = pkg/appimage
	url = https://github.com/casm-lang/casm-lang.pkg.appimage.git

[submodule "pkg/flatpak"] # internal
	path = pkg/flatpak
	url = https://github.com/casm-lang/casm-lang.pkg.flatpak.git

[submodule "pkg/docker"] # internal
	path = pkg/docker
	url = https://github.com/casm-lang/casm-lang.pkg.docker.git

#
#
# Various (Containers, Logo, Publications, Website etc.)
#

[submodule "var/container/linux"] # internal
	path = var/container/linux
	url = https://github.com/casm-lang/casm-lang.container.linux.git

[submodule "var/container/windows"] # internal
	path = var/container/windows
	url = https://github.com/casm-lang/casm-lang.container.windows.git

[submodule "var/logo"] # internal
	path = var/logo
	url = https://github.com/casm-lang/casm-lang.logo.git

[submodule "var/publication"] # internal
	path = var/publication
	url = https://github.com/casm-lang/publication.git

[submodule "var/web"] # internal
	path = var/web
	url = https://github.com/casm-lang/casm-lang.github.io.git
[submodule "lib/zola.adidoks"]
	path = lib/zola.adidoks
	url = https://github.com/aaranxu/adidoks