Add Pluto 0.8.0

PlutoLang · Dec 21, 2023 · 65c8626 · 65c8626
1 parent d28fc6c
commit 65c8626
Show file tree

Hide file tree

Showing 4 changed files with 25 additions and 3 deletions.
diff --git a/build/pluto.php b/build/pluto.php
@@ -13,12 +13,12 @@
 
 // Find work
 $files = [];
-foreach(scandir("src/vendor/Soup") as $file)
+foreach(scandir("src/vendor/Soup/soup") as $file)
 {
  if(substr($file, -4) == ".cpp")
  {
  $name = substr($file, 0, -4);
- array_push($files, "vendor/Soup/".$name);
+ array_push($files, "vendor/Soup/soup/".$name);
  }
 }
 foreach(scandir("src") as $file)

diff --git a/manifest.json b/manifest.json
@@ -2,7 +2,8 @@
  "pluto": {
  "0.6.3": "https://wasm.pluto.do/out/pluto/0.6.3/pluto.js",
  "0.7.0": "https://wasm.pluto.do/out/pluto/0.7.0/pluto.js",
- "0.7.4": "https://wasm.pluto.do/out/pluto/0.7.4/pluto.js"
+ "0.7.4": "https://wasm.pluto.do/out/pluto/0.7.4/pluto.js",
+ "0.8.0": "https://wasm.pluto.do/out/pluto/0.8.0/pluto.js"
  },
  "lua": {
  "5.1.1": "https://wasm.pluto.do/out/lua/v5.1.1/lua.js",

diff --git a/out/pluto/0.8.0/pluto.js b/out/pluto/0.8.0/pluto.js
diff --git a/out/pluto/0.8.0/pluto.wasm b/out/pluto/0.8.0/pluto.wasm