tmp

flake.nix

@@ -60,6 +60,7 @@
             llvm-bleach = pkgs.callPackage ./. { inherit self llvmLib; };
             default = llvm-bleach;
             inherit llvmLibDebug;
+            riscv-unified-db = pkgs.callPackage ./nix/pkgs/riscv-unified-db.nix { };
           };
           devShells.default = pkgs.mkShell {
             nativeBuildInputs =

nix/pkgs/Gemfile

@@ -0,0 +1,30 @@
+# frozen_string_literal: true
+
+ruby "3.3.5"
+
+source "https://rubygems.org"
+
+gem "activesupport"
+gem "asciidoctor-diagram", "~> 2.2"
+gem "asciidoctor-pdf"
+gem "base64"
+gem "bigdecimal"
+gem "json_schemer", "~> 1.0"
+gem "minitest"
+gem "pygments.rb"
+gem "rake", "~> 13.0"
+gem "rouge"
+gem "ruby-progressbar", "~> 1.13"
+gem "treetop", "1.6.12"
+gem "ttfunk", "1.7" # needed to avoid having asciidoctor-pdf dependencies pulling in a buggy version of ttunk (1.8)
+gem "webrick"
+gem "yard"
+
+group :development do
+  gem "debug"
+  gem "rdbg"
+  gem "rubocop-minitest"
+  gem "ruby-prof"
+  gem "ruby-prof-flamegraph"
+  gem "solargraph"
+end

nix/pkgs/Gemfile.lock

@@ -0,0 +1,213 @@
+GEM
+  remote: https://rubygems.org/
+  specs:
+    Ascii85 (1.1.1)
+    activesupport (8.0.0)
+      base64
+      benchmark (>= 0.3)
+      bigdecimal
+      concurrent-ruby (~> 1.0, >= 1.3.1)
+      connection_pool (>= 2.2.5)
+      drb
+      i18n (>= 1.6, < 2)
+      logger (>= 1.4.2)
+      minitest (>= 5.1)
+      securerandom (>= 0.3)
+      tzinfo (~> 2.0, >= 2.0.5)
+      uri (>= 0.13.1)
+    addressable (2.8.7)
+      public_suffix (>= 2.0.2, < 7.0)
+    afm (0.2.2)
+    asciidoctor (2.0.23)
+    asciidoctor-diagram (2.3.0)
+      asciidoctor (>= 1.5.7, < 3.x)
+      asciidoctor-diagram-ditaamini (~> 1.0)
+      asciidoctor-diagram-plantuml (~> 1.2021)
+      rexml
+    asciidoctor-diagram-batik (1.17)
+    asciidoctor-diagram-ditaamini (1.0.3)
+    asciidoctor-diagram-plantuml (1.2024.5)
+      asciidoctor-diagram-batik (~> 1.17)
+    asciidoctor-pdf (2.3.14)
+      asciidoctor (~> 2.0)
+      concurrent-ruby (~> 1.1)
+      matrix (~> 0.4)
+      prawn (~> 2.4.0)
+      prawn-icon (~> 3.0.0)
+      prawn-svg (~> 0.34.0)
+      prawn-table (~> 0.2.0)
+      prawn-templates (~> 0.1.0)
+      treetop (~> 1.6.0)
+    ast (2.4.2)
+    backport (1.2.0)
+    base64 (0.2.0)
+    benchmark (0.3.0)
+    bigdecimal (3.1.8)
+    concurrent-ruby (1.3.3)
+    connection_pool (2.4.1)
+    css_parser (1.17.1)
+      addressable
+    debug (1.9.2)
+      irb (~> 1.10)
+      reline (>= 0.3.8)
+    diff-lcs (1.5.1)
+    drb (2.2.1)
+    e2mmap (0.1.0)
+    hana (1.3.7)
+    hashery (2.1.2)
+    i18n (1.14.6)
+      concurrent-ruby (~> 1.0)
+    io-console (0.7.2)
+    irb (1.14.1)
+      rdoc (>= 4.0.0)
+      reline (>= 0.4.2)
+    jaro_winkler (1.6.0)
+    json (2.7.2)
+    json_schemer (1.0.3)
+      hana (~> 1.3)
+      regexp_parser (~> 2.0)
+      simpleidn (~> 0.2)
+    kramdown (2.4.0)
+      rexml
+    kramdown-parser-gfm (1.1.0)
+      kramdown (~> 2.0)
+    language_server-protocol (3.17.0.3)
+    logger (1.6.2)
+    matrix (0.4.2)
+    minitest (5.24.1)
+    nokogiri (1.16.5-aarch64-linux)
+      racc (~> 1.4)
+    nokogiri (1.16.5-x86_64-linux)
+      racc (~> 1.4)
+    parallel (1.24.0)
+    parser (3.3.2.0)
+      ast (~> 2.4.1)
+      racc
+    pdf-core (0.9.0)
+    pdf-reader (2.12.0)
+      Ascii85 (~> 1.0)
+      afm (~> 0.2.1)
+      hashery (~> 2.0)
+      ruby-rc4
+      ttfunk
+    polyglot (0.3.5)
+    prawn (2.4.0)
+      pdf-core (~> 0.9.0)
+      ttfunk (~> 1.7)
+    prawn-icon (3.0.0)
+      prawn (>= 1.1.0, < 3.0.0)
+    prawn-svg (0.34.2)
+      css_parser (~> 1.6)
+      matrix (~> 0.4.2)
+      prawn (>= 0.11.1, < 3)
+      rexml (~> 3.2)
+    prawn-table (0.2.2)
+      prawn (>= 1.3.0, < 3.0.0)
+    prawn-templates (0.1.2)
+      pdf-reader (~> 2.0)
+      prawn (~> 2.2)
+    psych (5.2.0)
+      stringio
+    public_suffix (6.0.0)
+    pygments.rb (3.0.0)
+    racc (1.8.0)
+    rainbow (3.1.1)
+    rake (13.2.1)
+    rbs (2.8.4)
+    rdbg (0.1.0)
+      debug (>= 1.2.2)
+    rdoc (6.8.1)
+      psych (>= 4.0.0)
+    regexp_parser (2.9.2)
+    reline (0.5.11)
+      io-console (~> 0.5)
+    reverse_markdown (2.1.1)
+      nokogiri
+    rexml (3.2.8)
+      strscan (>= 3.0.9)
+    rouge (4.3.0)
+    rubocop (1.64.1)
+      json (~> 2.3)
+      language_server-protocol (>= 3.17.0)
+      parallel (~> 1.10)
+      parser (>= 3.3.0.2)
+      rainbow (>= 2.2.2, < 4.0)
+      regexp_parser (>= 1.8, < 3.0)
+      rexml (>= 3.2.5, < 4.0)
+      rubocop-ast (>= 1.31.1, < 2.0)
+      ruby-progressbar (~> 1.7)
+      unicode-display_width (>= 2.4.0, < 3.0)
+    rubocop-ast (1.31.3)
+      parser (>= 3.3.1.0)
+    rubocop-minitest (0.35.1)
+      rubocop (>= 1.61, < 2.0)
+      rubocop-ast (>= 1.31.1, < 2.0)
+    ruby-prof (0.18.0)
+    ruby-prof-flamegraph (0.3.0)
+      ruby-prof (~> 0.13)
+    ruby-progressbar (1.13.0)
+    ruby-rc4 (0.1.5)
+    securerandom (0.4.0)
+    simpleidn (0.2.3)
+    solargraph (0.50.0)
+      backport (~> 1.2)
+      benchmark
+      bundler (~> 2.0)
+      diff-lcs (~> 1.4)
+      e2mmap
+      jaro_winkler (~> 1.5)
+      kramdown (~> 2.3)
+      kramdown-parser-gfm (~> 1.1)
+      parser (~> 3.0)
+      rbs (~> 2.0)
+      reverse_markdown (~> 2.0)
+      rubocop (~> 1.38)
+      thor (~> 1.0)
+      tilt (~> 2.0)
+      yard (~> 0.9, >= 0.9.24)
+    stringio (3.1.2)
+    strscan (3.1.0)
+    thor (1.3.1)
+    tilt (2.3.0)
+    treetop (1.6.12)
+      polyglot (~> 0.3)
+    ttfunk (1.7.0)
+    tzinfo (2.0.6)
+      concurrent-ruby (~> 1.0)
+    unicode-display_width (2.5.0)
+    uri (1.0.2)
+    webrick (1.8.1)
+    yard (0.9.36)
+
+PLATFORMS
+  aarch64-linux-gnu
+  x86_64-linux-gnu
+
+DEPENDENCIES
+  activesupport
+  asciidoctor-diagram (~> 2.2)
+  asciidoctor-pdf
+  base64
+  bigdecimal
+  debug
+  json_schemer (~> 1.0)
+  minitest
+  pygments.rb
+  rake (~> 13.0)
+  rdbg
+  rouge
+  rubocop-minitest
+  ruby-prof
+  ruby-prof-flamegraph
+  ruby-progressbar (~> 1.13)
+  solargraph
+  treetop (= 1.6.12)
+  ttfunk (= 1.7)
+  webrick
+  yard
+
+RUBY VERSION
+   ruby 3.2.3p157
+
+BUNDLED WITH
+   2.4.20

nix/pkgs/default.nix

@@ -0,0 +1,4 @@
+{ pkgs, ... }:
+{
+  riscv-unified-db = pkgs.callPackage ./riscv-unified-db.nix { };
+}