From d6db020e1c08933dc22fb22097194604c1eed31a Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Wed, 22 May 2024 23:05:36 -0700
Subject: [PATCH] Adjust build script to accept Agda invocation

This might come in useful from NixOS

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 build-agda-html.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-agda-html.rb b/build-agda-html.rb
index 0e40ef0..ccdb1d3 100644
--- a/build-agda-html.rb
+++ b/build-agda-html.rb
@@ -31,6 +31,6 @@ files_for_paths.each do |path, files|
   Dir.chdir(File.join [original_wd, path])
   files.each do |file|
     puts "Invoking 'agda' on file: #{File.join [Dir.getwd, file]}"
-    `agda --local-interfaces #{file} --html --html-dir=html`
+    `#{ARGV[0]} --local-interfaces #{file} --html --html-dir=html`
   end
 end