From 138f9066f2739275197716a50dbdd2dd31b40c66 Mon Sep 17 00:00:00 2001 From: xolatile Date: Sun, 17 Mar 2024 18:08:01 -0400 Subject: [PATCH] Back to shell script, GNUmake is bad... --- compile.sh | 12 ++++++++++++ install.sh | 7 +++++++ 2 files changed, 19 insertions(+) create mode 100644 compile.sh create mode 100644 install.sh diff --git a/compile.sh b/compile.sh new file mode 100644 index 0000000..a353192 --- /dev/null +++ b/compile.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +set -xe + +cd source +gnatmake -g -O3 -fstack-check -c main.adb +gnatbind main.ali +gnatlink -o xhads main.ali -lraylib +mv xhads ../xhads +cd .. + +exit diff --git a/install.sh b/install.sh new file mode 100644 index 0000000..d2901e3 --- /dev/null +++ b/install.sh @@ -0,0 +1,7 @@ +#!/bin/bash + +set -xe + +cp xhads /usr/bin/xhads + +exit