konpeito 0.4.0 → 0.4.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b625a264d0c1f052c3cde2b8bcc08d7dff02f4a292f462d73e218c2fb9af7e59
-  data.tar.gz: 3fd87bf5f8e81ac6959d0daa8b68f6f48fbf13aedfb6adb68848d1f6e9a569c8
+  metadata.gz: 18af8ec6ef271ba48955db2f05fc19b70529a318494bced5fe4e2a83febc3544
+  data.tar.gz: 076eb7d785e5bff312c1ec5b8c093c6fc1db034eabe397d5cc1d32d57438e332
 SHA512:
-  metadata.gz: 5372d88aaca539699920771d4a8dce41589ee8074910a65f2170e71fb7e32775cfc9d397230ee83148587a8665093367c1c264138bf53c30ff1924ce4d6aa724
-  data.tar.gz: 3381123783ab44d4cc6ebfacc0aaa7afc829fe4b97c2d5e222866bda75ec181f3a76c03a0430538e93411adbc86b5e5c899c606afab8b842b78a4af026485ca4
+  metadata.gz: 30fe2f9fc64bd7c4d4cff705e8a3e46bef719e947efb6d81418ba51e54ccaad89f5cc6e145fb28a5d84960c864abcc4a284cf2868e81da2b161102619cbaae08
+  data.tar.gz: 7653068f209f65ae14e1258b0cf17c5b9b3f956a2af006d3af87375eeebc7dcaf694f8384184c8b84e98fedb3485b32ce9374d6cd148ced09bda7e6dbcc228d8

data/CHANGELOG.md

@@ -5,6 +5,35 @@ All notable changes to Konpeito will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.4.2] - 2026-03-10
+
+### Fixed
+- **Linux symbol collision**: use `internal` linkage for LLVM callback functions to prevent flat namespace collisions on Linux
+- **NativeClass ptr→VALUE**: add missing `ptr2int` conversion for NativeClass objects passed to CRuby APIs
+- **JSON codegen tests**: skip when vendored yyjson source is unavailable (CI environments)
+- **CI stabilization**: run codegen tests per-file in separate processes to prevent `.so` accumulation crashes
+
+### Added
+- **macOS ARM CI job**: unit tests and codegen tests on `macos-latest` (ARM)
+- **mruby CI job**: build and run verification with `konpeito run --target mruby`
+- **Japanese tutorial**: add mruby backend section (5.5) matching English tutorial
+
+### Changed
+- Update `actions/checkout` v4 → v6, `actions/setup-java` v4 → v5
+
+## [0.4.1] - 2026-03-09
+
+### Added
+- `THIRD_PARTY_NOTICES.md` — vendored code and linked library license summary
+- `vendor/yyjson/LICENSE` — MIT license file for vendored yyjson
+- mruby backend: auto-generate `<output>.LICENSES.txt` alongside standalone executables
+  - Always includes Konpeito (MIT) and mruby (MIT)
+  - Conditionally includes yyjson (MIT) when JSON stdlib is used
+  - Conditionally includes raylib (zlib) when raylib stdlib is used
+
+### Changed
+- `.gitignore`: allow `vendor/yyjson/LICENSE` to be tracked
+
 ## [0.4.0] - 2026-03-08
 
 ### Added
@@ -247,6 +276,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - `%a{extern}` - external C struct wrappers
 - `%a{simd}` - SIMD vectorization
 
+[0.4.1]: https://github.com/i2y/konpeito/compare/v0.4.0...v0.4.1
 [0.4.0]: https://github.com/i2y/konpeito/compare/v0.3.1...v0.4.0
 [0.3.1]: https://github.com/i2y/konpeito/compare/v0.3.0...v0.3.1
 [0.3.0]: https://github.com/i2y/konpeito/compare/v0.2.4...v0.3.0

data/Rakefile

@@ -5,7 +5,34 @@ require "rake/testtask"
 Rake::TestTask.new(:test) do |t|
   t.libs << "test"
   t.libs << "lib"
-  t.test_files = FileList["test/**/*_test.rb"]
+  t.test_files = FileList["test/**/*_test.rb"].exclude("test/codegen/**/*_test.rb")
+end
+
+desc "Run codegen tests (each file in a separate process to avoid .so accumulation crashes)"
+task "test:codegen" do
+  test_files = FileList["test/codegen/**/*_test.rb"].sort
+  failed = []
+  test_files.each do |f|
+    print "#{File.basename(f, '.rb')} "
+    unless system("bundle", "exec", "ruby", "-Ilib:test", f)
+      failed << f
+    end
+  end
+  puts
+  unless failed.empty?
+    abort "#{failed.size}/#{test_files.size} codegen test files failed:\n  #{failed.join("\n  ")}"
+  end
+  puts "All #{test_files.size} codegen test files passed."
+end
+
+desc "Run all tests (non-codegen + codegen in separate processes)"
+task "test:all" => [:test] do
+  # Run codegen tests in a separate process so a crash doesn't kill non-codegen results
+  sh "bundle exec rake test:codegen" do |ok, _status|
+    unless ok
+      warn "Codegen tests failed (possibly due to native extension crash on ruby-head)"
+    end
+  end
 end
 
 desc "Run conformance tests against Ruby/Native/JVM backends"
@@ -23,4 +50,9 @@ task "conformance:jvm" do
   ruby "spec/conformance/runner.rb", "--jvm-only"
 end
 
+desc "Run CI compilation diagnostics"
+task "test:diagnose" do
+  ruby "test/ci_diagnostic.rb"
+end
+
 task default: :test

data/THIRD_PARTY_NOTICES.md

@@ -0,0 +1,56 @@
+# Third-Party Notices
+
+Konpeito includes and/or links against the following third-party software.
+
+## Vendored Code
+
+### yyjson
+
+- **License**: MIT
+- **Copyright**: Copyright (c) 2020 YaoYuan <ibireme@gmail.com>
+- **Source**: https://github.com/ibireme/yyjson
+- **Location**: `vendor/yyjson/`
+- **Usage**: JSON parsing and generation in the `KonpeitoJSON` stdlib
+
+## Linked Libraries (mruby backend)
+
+The mruby backend (`konpeito build --target mruby`) statically links `libmruby.a` into the generated executable. The following libraries may also be linked depending on the stdlibs used.
+
+### mruby
+
+- **License**: MIT
+- **Copyright**: Copyright (c) mruby developers
+- **Source**: https://github.com/mruby/mruby
+- **Usage**: Runtime for standalone executables
+
+### raylib (optional)
+
+- **License**: zlib/libpng
+- **Copyright**: Copyright (c) 2013-2024 Ramon Santamaria (@raysan5)
+- **Source**: https://github.com/raysan5/raylib
+- **Usage**: Graphics/input stdlib (`module Raylib`)
+- **Linked when**: Code references `module Raylib`
+
+### libcurl (optional)
+
+- **License**: MIT/X-inspired (curl license)
+- **Copyright**: Copyright (c) Daniel Stenberg
+- **Source**: https://curl.se/
+- **Usage**: HTTP client stdlib (`KonpeitoHTTP`)
+- **Linked when**: Code uses `KonpeitoHTTP` module
+
+### OpenSSL (optional)
+
+- **License**: Apache-2.0
+- **Copyright**: Copyright (c) The OpenSSL Project
+- **Source**: https://www.openssl.org/
+- **Usage**: Cryptography stdlib (`KonpeitoCrypto`)
+- **Linked when**: Code uses `KonpeitoCrypto` module
+
+### zlib (optional)
+
+- **License**: zlib
+- **Copyright**: Copyright (c) 1995-2024 Jean-loup Gailly and Mark Adler
+- **Source**: https://zlib.net/
+- **Usage**: Compression stdlib (`KonpeitoCompression`)
+- **Linked when**: Code uses `KonpeitoCompression` module

data/lib/konpeito/cli/run_command.rb

@@ -277,7 +277,7 @@ module Konpeito
 
         # Include extra C files in cache key (they affect the binary)
         source_dir = File.dirname(File.expand_path(source_file))
-        extra_c_files = Dir.glob(File.join(source_dir, "*.c")).sort
+        extra_c_files = Dir.glob(File.join(source_dir, "*.c"))
 
         options_hash = {
           "inline_rbs" => options[:inline_rbs].to_s,

data/lib/konpeito/codegen/llvm_generator.rb

@@ -2985,6 +2985,9 @@ module Konpeito
           # Convert bool to Ruby true/false
           is_true = @builder.icmp(:ne, value, LLVM::Int8.from_i(0))
           @builder.select(is_true, qtrue, qfalse)
+        when [:native_class, :value]
+          # NativeClass struct pointer to VALUE (i64)
+          @builder.ptr2int(value, LLVM::Int64)
         when [:i64, :double]
           @builder.si2fp(value, LLVM::Double)
         when [:double, :i64]
@@ -4826,6 +4829,7 @@ module Konpeito
         callback_func = @mod.functions.add(callback_name,
           [value_type, value_type, LLVM::Int32, LLVM::Pointer(value_type), value_type],
           value_type)
+        callback_func.linkage = :internal
 
         # Save current builder state
         saved_block = @builder.insert_block
@@ -5221,6 +5225,7 @@ module Konpeito
         # --- Shared lambda_true helper (created once per module) ---
         @lambda_true_func ||= begin
           f = @mod.functions.add("__konpeito_lambda_true", [value_type], value_type)
+          f.linkage = :internal
           bb = f.basic_blocks.append("entry")
           @builder.position_at_end(bb)
           @builder.ret(qtrue)
@@ -5231,6 +5236,7 @@ module Konpeito
         arity_func_name = "__konpeito_proc_arity_#{param_count}"
         arity_func = @mod.functions[arity_func_name] || begin
           f = @mod.functions.add(arity_func_name, [value_type], value_type)
+          f.linkage = :internal
           bb = f.basic_blocks.append("entry")
           @builder.position_at_end(bb)
           arity_ruby = @builder.call(@rb_int2inum, LLVM::Int64.from_i(param_count), "arity_val")
@@ -5560,6 +5566,7 @@ module Konpeito
         callback_func = @mod.functions.add(callback_name,
           [LLVM::Pointer(LLVM::Int8)],
           value_type)
+        callback_func.linkage = :internal
 
         # Save current builder state
         saved_block = @builder.insert_block
@@ -5893,6 +5900,7 @@ module Konpeito
         # VALUE callback(VALUE data) - data is pointer to captures array
         callback_type = LLVM::Type.function([value_type], value_type)
         callback_func = @mod.functions.add(callback_name, [value_type], value_type)
+        callback_func.linkage = :internal
 
         # Save current builder state
         saved_block = @builder.insert_block
@@ -5988,6 +5996,7 @@ module Konpeito
 
         # VALUE callback(VALUE mutex) - mutex is passed as data2
         callback_func = @mod.functions.add(callback_name, [value_type], value_type)
+        callback_func.linkage = :internal
 
         # Save current builder state
         saved_block = @builder.insert_block
@@ -8108,6 +8117,7 @@ module Konpeito
 
         # VALUE func(VALUE data)  — data (params[0]) = self or escape array
         callback_func = @mod.functions.add(callback_name, [value_type], value_type)
+        callback_func.linkage = :internal
 
         # Save current builder state
         saved_block    = @builder.insert_block
@@ -8227,6 +8237,7 @@ module Konpeito
 
         # VALUE func(VALUE data2, VALUE exception)
         callback_func = @mod.functions.add(callback_name, [value_type, value_type], value_type)
+        callback_func.linkage = :internal
 
         # Save current builder state
         saved_block = @builder.insert_block
@@ -8387,6 +8398,7 @@ module Konpeito
         callback_name = "rescue_handler_gflag_#{counter}"
         # VALUE func(VALUE data2, VALUE exception) — data2 (params[0]) = self or escape array
         callback_func = @mod.functions.add(callback_name, [value_type, value_type], value_type)
+        callback_func.linkage = :internal
 
         saved_block = @builder.insert_block
         saved_vars = @variables.dup
@@ -8524,6 +8536,7 @@ module Konpeito
       def generate_rescue_handler_with_flag_callback(rescue_clauses, counter)
         callback_name = "rescue_handler_flag_#{counter}"
         callback_func = @mod.functions.add(callback_name, [value_type, value_type], value_type)
+        callback_func.linkage = :internal
 
         saved_block = @builder.insert_block
         saved_vars = @variables.dup

data/lib/konpeito/codegen/mruby_backend.rb

@@ -62,6 +62,9 @@ module Konpeito
 
           # Link into standalone executable
           link_to_executable(obj_files, output_file)
+
+          # Generate license file alongside the executable
+          generate_license_file
         ensure
           # Clean up intermediate files
           all_temps = [ir_file, obj_file, init_c_file, init_obj_file, helpers_obj_file] + extra_obj_files
@@ -808,6 +811,141 @@ module Konpeito
         name.gsub(/[^a-zA-Z0-9_]/, "_")
       end
 
+      # === License file generation ===
+
+      def generate_license_file
+        license_path = "#{output_file}.LICENSES.txt"
+        sections = []
+
+        # Always include Konpeito itself
+        sections << license_section(
+          "Konpeito",
+          "MIT",
+          "Copyright (c) Konpeito contributors",
+          "https://github.com/i2y/konpeito",
+          <<~MIT
+            Permission is hereby granted, free of charge, to any person obtaining a copy
+            of this software and associated documentation files (the "Software"), to deal
+            in the Software without restriction, including without limitation the rights
+            to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+            copies of the Software, and to permit persons to whom the Software is
+            furnished to do so, subject to the following conditions:
+
+            The above copyright notice and this permission notice shall be included in all
+            copies or substantial portions of the Software.
+
+            THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+            IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+            FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+            AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+            LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+            OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+            SOFTWARE.
+          MIT
+        )
+
+        # Always include mruby (statically linked)
+        sections << license_section(
+          "mruby",
+          "MIT",
+          "Copyright (c) mruby developers",
+          "https://github.com/mruby/mruby",
+          <<~MIT
+            Permission is hereby granted, free of charge, to any person obtaining a copy
+            of this software and associated documentation files (the "Software"), to deal
+            in the Software without restriction, including without limitation the rights
+            to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+            copies of the Software, and to permit persons to whom the Software is
+            furnished to do so, subject to the following conditions:
+
+            The above copyright notice and this permission notice shall be included in all
+            copies or substantial portions of the Software.
+
+            THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+            IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+            FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+            AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+            LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+            OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+            SOFTWARE.
+          MIT
+        )
+
+        # Include yyjson if JSON stdlib is used
+        json_used = @extra_c_files.any? { |f| File.basename(f).include?("json") }
+        if json_used
+          sections << license_section(
+            "yyjson",
+            "MIT",
+            "Copyright (c) 2020 YaoYuan <ibireme@gmail.com>",
+            "https://github.com/ibireme/yyjson",
+            <<~MIT
+              Permission is hereby granted, free of charge, to any person obtaining a copy
+              of this software and associated documentation files (the "Software"), to deal
+              in the Software without restriction, including without limitation the rights
+              to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+              copies of the Software, and to permit persons to whom the Software is
+              furnished to do so, subject to the following conditions:
+
+              The above copyright notice and this permission notice shall be included in all
+              copies or substantial portions of the Software.
+
+              THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+              IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+              FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+              AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+              LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+              OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+              SOFTWARE.
+            MIT
+          )
+        end
+
+        # Include raylib if linked
+        ffi_libs = @rbs_loader&.all_ffi_libraries || []
+        if ffi_libs.any? { |lib| lib.to_s.include?("raylib") }
+          sections << license_section(
+            "raylib",
+            "zlib/libpng",
+            "Copyright (c) 2013-2024 Ramon Santamaria (@raysan5)",
+            "https://github.com/raysan5/raylib",
+            <<~ZLIB
+              This software is provided 'as-is', without any express or implied warranty.
+              In no event will the authors be held liable for any damages arising from the
+              use of this software.
+
+              Permission is granted to anyone to use this software for any purpose,
+              including commercial applications, and to alter it and redistribute it freely,
+              subject to the following restrictions:
+
+              1. The origin of this software must not be misrepresented; you must not claim
+                 that you wrote the original software. If you use this software in a product,
+                 an acknowledgment in the product documentation would be appreciated but is
+                 not required.
+              2. Altered source versions must be plainly marked as such, and must not be
+                 misrepresented as being the original software.
+              3. This notice may not be removed or altered from any source distribution.
+            ZLIB
+          )
+        end
+
+        File.write(license_path, sections.join("\n"))
+      end
+
+      def license_section(name, license_type, copyright, url, license_text)
+        <<~SECTION
+          ================================================================================
+          #{name}
+          License: #{license_type}
+          #{copyright}
+          #{url}
+          ================================================================================
+
+          #{license_text.strip}
+
+        SECTION
+      end
+
       # === Compilation pipeline ===
 
       def compile_ir_to_object(ir_file, obj_file)

data/lib/konpeito/compiler.rb

@@ -45,6 +45,7 @@ module Konpeito
       @cross_mruby_dir = cross_mruby_dir
       @cross_libs_dir = cross_libs_dir
       @output_file = output_file || default_output_file(target: target)
+      normalize_output_extension! if @output_file && target == :native
       @compile_stats = nil
       @_resolved_file_count = 0
       @_specialization_count = 0
@@ -533,6 +534,14 @@ module Konpeito
       end
     end
 
+    def normalize_output_extension!
+      ext = File.extname(@output_file)
+      expected = Platform.shared_lib_extension
+      if (ext == ".bundle" || ext == ".so") && ext != expected
+        @output_file = @output_file.sub(/#{Regexp.escape(ext)}\z/, expected)
+      end
+    end
+
     def log(message)
       puts message if verbose
     end

data/lib/konpeito/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Konpeito
-  VERSION = "0.4.0"
+  VERSION = "0.4.2"
 end

data/vendor/yyjson/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2020 YaoYuan <ibireme@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: konpeito
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.4.2
 platform: ruby
 authors:
 - Yasushi Itoh
@@ -56,6 +56,7 @@ files:
 - LICENSE
 - README.md
 - Rakefile
+- THIRD_PARTY_NOTICES.md
 - bin/konpeito
 - konpeito.gemspec
 - lib/konpeito.rb
@@ -216,6 +217,7 @@ files:
 - tools/konpeito-asm/src/konpeito/runtime/KThread.java
 - tools/konpeito-asm/src/konpeito/runtime/KTime.java
 - tools/konpeito-asm/src/konpeito/runtime/RubyDispatch.java
+- vendor/yyjson/LICENSE
 homepage: https://github.com/i2y/konpeito
 licenses:
 - MIT