Merge pull request #13 from skyf0l/master

Export Z3_SYS_Z3_HEADER and LIBRARY_PATH
pavpanchekha · Jun 22, 2023 · 462fb57 · 462fb57
2 parents aed2df7 + dac5553
commit 462fb57
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/index.js b/index.js
@@ -7,7 +7,7 @@ function z3URL(architecture, version, distribution) {
     return { path: path, file: file };
 }
 
-(async function() {
+(async function () {
     try {
         const architecture = core.getInput('architecture', { required: true });
         const distribution = core.getInput('distribution', { required: true });
@@ -18,7 +18,9 @@ function z3URL(architecture, version, distribution) {
         const dir = await tc.extractZip(path)
         const cachedPath = await tc.cacheDir(dir, 'z3', version);
         core.addPath(cachedPath + "/" + url.file.replace(/\.zip$/, "") + "/bin");
-	core.exportVariable("CPATH", cachedPath + "/" + url.file.replace(/\.zip$/, "") + "/include");
+        core.exportVariable("CPATH", cachedPath + "/" + url.file.replace(/\.zip$/, "") + "/include");
+        core.exportVariable("LIBRARY_PATH", cachedPath + "/" + url.file.replace(/\.zip$/, "") + "/bin");
+        core.exportVariable("Z3_SYS_Z3_HEADER", cachedPath + "/" + url.file.replace(/\.zip$/, "") + "/include/z3.h");
     } catch (error) {
         core.setFailed(error.message);
     }