]> git.proxmox.com Git - wasi-libc.git/commitdiff
build and install p2 snapshot target
authorFabian Grünbichler <f.gruenbichler@proxmox.com>
Thu, 11 Jul 2024 08:06:34 +0000 (10:06 +0200)
committerFabian Grünbichler <f.gruenbichler@proxmox.com>
Thu, 11 Jul 2024 08:22:36 +0000 (10:22 +0200)
and symlink the existing one under the 'p1' suffix as well, both needed to
build the corresponding targets in rustc.

Signed-off-by: Fabian Grünbichler <f.gruenbichler@proxmox.com>
debian/patches/llvm-17-compat.patch
debian/rules
debian/wasi-libc.install
debian/wasi-libc.links [new file with mode: 0644]

index f0322f738da16fc6c9ea64b8f028b77ad0d1ed41..253e00fd86998081ff5e6d4fdef9e90dfee6cc36 100644 (file)
@@ -10,3 +10,15 @@ Index: wasi-libc/expected/wasm32-wasip1/undefined-symbols.txt
  __trunctfdf2
  __trunctfsf2
  __unordtf2
+Index: wasi-libc/expected/wasm32-wasip2/undefined-symbols.txt
+===================================================================
+--- wasi-libc.orig/expected/wasm32-wasip2/undefined-symbols.txt
++++ wasi-libc/expected/wasm32-wasip2/undefined-symbols.txt
+@@ -62,6 +62,7 @@ __lttf2
+ __netf2
+ __stack_pointer
+ __subtf3
++__tls_base
+ __trunctfdf2
+ __trunctfsf2
+ __unordtf2
index 2744c0b21bc8fecd46de95a97da5622327ada42b..a64024ee1844a17a4946998e00e8b23476e8efda 100755 (executable)
@@ -23,6 +23,8 @@ build:
 
 override_dh_auto_build:
        dh_auto_build -- finish
+       dh_auto_build -- WASI_SNAPSHOT=p2 finish
 
 override_dh_auto_install:
        dh_auto_install -- INSTALL_DIR=$(CURDIR)/debian/tmp/usr
+       dh_auto_install -- INSTALL_DIR=$(CURDIR)/debian/tmp/usr WASI_SNAPSHOT=p2
index e84288c7910c72a9a13c0d18e982b8efc73a2bb8..8cb5c45f87883c331b2629a22a26e8108fd8df2b 100644 (file)
@@ -1,3 +1,6 @@
 usr/share/wasm32-wasi
 usr/lib/wasm32-wasi
 usr/include/wasm32-wasi/* /usr/include/wasm32-wasi
+usr/share/wasm32-wasip2
+usr/lib/wasm32-wasip2
+usr/include/wasm32-wasip2/* /usr/include/wasm32-wasip2
diff --git a/debian/wasi-libc.links b/debian/wasi-libc.links
new file mode 100644 (file)
index 0000000..a04d3a6
--- /dev/null
@@ -0,0 +1,3 @@
+/usr/share/wasm32-wasi /usr/share/wasm32-wasip1
+/usr/lib/wasm32-wasi /usr/lib/wasm32-wasip1
+/usr/include/wasm32-wasi /usr/include/wasm32-wasip1