From 2ecc029116b63b4cdf4f486f0fd502f70b9e0387 Mon Sep 17 00:00:00 2001
From: Hugo Musso Gualandi <hugo_musso_gualandi@hotmail.com>
Date: Sat, 10 Aug 2024 11:46:51 -0300
Subject: [PATCH] New installation instructions for pallene-tracer

---
 .github/workflows/ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9986f2ee..c2673b40 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -81,7 +81,8 @@ jobs:
               run: |
                   git clone https://github.com/pallene-lang/pallene-tracer
                   cd pallene-tracer
-                  sudo make install LUA_DIR=/usr/local
+                  make LUA_PREFIX=/usr/local
+                  sudo make install
 
             - name: Build
               run: luarocks --local make