Skip to content

Commit

Permalink
Configuration: updated accordingly to renaming
Browse files Browse the repository at this point in the history
  • Loading branch information
ppaulweber committed Apr 1, 2024
1 parent 0b8403d commit 2ad0424
Show file tree
Hide file tree
Showing 3 changed files with 54 additions and 45 deletions.
29 changes: 16 additions & 13 deletions .gitmodules
Original file line number Diff line number Diff line change
@@ -1,25 +1,28 @@
#
# Copyright (C) 2014-2024 CASM Organization <https://casm-lang.org>
# Copyright (C) 2014-2024 The SEA Language <https://sealang.org>
# All rights reserved.
#
# Developed by: Philipp Paulweber et al.
# <https://github.com/casm-lang/casm/graphs/contributors>
# <https://github.com/sealangdotorg/sea/graphs/contributors>
#
# This file is part of casm.
# This file is part of sea.
#
# casm is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
# 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).
#
# casm 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
# GNU General Public License for more details.
# 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 GNU General Public License
# along with casm. If not, see <http://www.gnu.org/licenses/>.
# 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.

#
#
Expand Down
37 changes: 20 additions & 17 deletions Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,25 +1,28 @@
#
# Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
# Copyright (C) 2014-2024 The SEA Language <https://sealang.org>
# All rights reserved.
#
# Developed by: Philipp Paulweber et al.
# <https://github.com/casm-lang/casm/graphs/contributors>
# <https://github.com/sealangdotorg/sea/graphs/contributors>
#
# This file is part of casm.
# This file is part of sea.
#
# casm is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
# 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).
#
# casm 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
# GNU General Public License for more details.
# 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 GNU General Public License
# along with casm. If not, see <http://www.gnu.org/licenses/>.
# 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.

# https://doc.rust-lang.org/cargo/reference/manifest.html

Expand All @@ -28,10 +31,10 @@ name = "sealang"
version = "0.0.0"
edition = "2021"
authors = [ "Philipp Paulweber et al."]
description = "Corinthian Abstract State Machine (CASM) Project"
homepage = "https://casm-lang.org/"
repository = "https://github.com/casm-lang/casm/"
license-file = "LICENSE.txt"
description = "The SEA Language"
homepage = "https://sealang.org/"
repository = "https://github.com/sealangdotorg/sea/"
license-file = "LICENSE.MPL-2.0"
# keywords = [""]
# categories = [""] # https://crates.io/category_slugs
include = [
Expand Down
33 changes: 18 additions & 15 deletions README.org
Original file line number Diff line number Diff line change
@@ -1,25 +1,28 @@
#
# Copyright (C) 2014-2024 CASM Organization <https://casm-lang.org>
# Copyright (C) 2014-2024 The SEA Language <https://sealang.org>
# All rights reserved.
#
# Developed by: Philipp Paulweber et al.
# <https://github.com/casm-lang/casm/graphs/contributors>
# <https://github.com/sealangdotorg/sea/graphs/contributors>
#
# This file is part of casm.
# This file is part of sea.
#
# casm is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
# 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).
#
# casm 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
# GNU General Public License for more details.
# 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 GNU General Public License
# along with casm. If not, see <http://www.gnu.org/licenses/>.
# 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.
[[https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png]]

#+options: toc:nil
Expand Down Expand Up @@ -70,6 +73,6 @@ Will be announced here.
** Copyright and License

The copyright holder of
=casm= is the [[https://casm-lang.org][CASM organization]] ([[https://github.com/casm-lang][@casm-lang]])
=sea= is the [[https://sealang.org][The SEA Language]] ([[https://github.com/sealangdotorg][@sealangdotorg]])
and the used license of
=casm= is the [[https://www.gnu.org/licenses/gpl-3.0.html][GNU GPLv3]].
=sea= is the [[https://www.mozilla.org/en-US/MPL/2.0/][Mozilla Public License 2.0 (MPL-2.0)]].

0 comments on commit 2ad0424

Please sign in to comment.