Skip to content

Commit 6aad2d3

Browse files
committed
Release of gnat-wasm32 package.
1 parent dc77363 commit 6aad2d3

File tree

2 files changed

+15
-2
lines changed

2 files changed

+15
-2
lines changed

lib/platform_db.py

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ def update_db(self) -> None:
77
"xtensa": {"endian": "little", "bits": 32},
88
"riscv32": {"endian": "little", "bits": 32},
99
"riscv64": {"endian": "little", "bits": 64},
10+
"wasm32": {"endian": "little", "bits": 32},
1011
}
1112
)
1213

@@ -40,6 +41,7 @@ def update_db(self) -> None:
4041
"riscv64-elf": {"cpu": "riscv64", "os": "none", "is_hie": True},
4142
"riscv32-unknown-elf": {"cpu": "riscv32", "os": "none", "is_hie": True},
4243
"riscv64-unknown-elf": {"cpu": "riscv64", "os": "none", "is_hie": True},
44+
"wasm32": {"cpu": "wasm32", "os": "none", "is_hie": True},
4345
}
4446
)
4547

@@ -51,6 +53,6 @@ def update_db(self) -> None:
5153
"riscv64-elf": {"name": "riscv64-elf"},
5254
"riscv32-unknown-elf": {"name": "riscv32-unknown-elf"},
5355
"riscv64-unknown-elf": {"name": "riscv64-unknown-elf"},
54-
56+
"wasm32": {"name": "wasm32"},
5557
}
5658
)

specs/release_package.anod

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,11 @@ class ReleasePackage(spec("common")):
3535
if package in ["gprbuild", "gnatcov"]:
3636
return self.deps[package].version
3737
elif package == "gnat":
38-
return self.deps["gcc"].version
38+
if self.env.target.triplet == "wasm32":
39+
return self.deps["gnatllvm-wasm32"].version
40+
41+
else:
42+
return self.deps["gcc"].version
3943
elif package == "gnatprove":
4044
return self.deps["spark2014"].version
4145

@@ -59,6 +63,8 @@ class ReleasePackage(spec("common")):
5963
return "1"
6064
elif self.env.target.triplet == "avr":
6165
return "1"
66+
elif self.env.target.triplet == "wasm32":
67+
return "1"
6268
else:
6369
return "1"
6470

@@ -146,6 +152,11 @@ class ReleasePackage(spec("common")):
146152
Anod.Dependency("gdb", track=True),
147153
]
148154

155+
elif self.env.target.triplet == "wasm32":
156+
return [
157+
Anod.Dependency("gnatllvm-wasm32", track=True),
158+
]
159+
149160
elif self.env.host.triplet == self.env.target.triplet:
150161
# Native
151162
return [

0 commit comments

Comments
 (0)