From 86c49fea3e615f9b67b646417ad3786fd0dde2c0 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Mon, 29 Jan 2024 12:05:01 +0200
Subject: Add Makefile, remove build.sh

---
 build.sh | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100755 build.sh

(limited to 'build.sh')

diff --git a/build.sh b/build.sh
deleted file mode 100755
index 0b865b0..0000000
--- a/build.sh
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/bash
-
-# if the first flag is -h or --help, then show usage
-if [[ $1 == "-h" || $1 == "--help" ]]; then
-    echo "Usage: build.sh [OPTION]"
-    echo "Builds the desmoctl binary."
-    echo ""
-    echo "Options:"
-    echo "  -h, --help    Show this help message"
-    echo "  -d, --debug   Enable debugging"
-    exit 0
-fi
-
-BUILD_DIR=build
-
-# if the first flag is --debug or -d, then set CHICKEN_DEBUGGER=localhost:9999 and add -d3 to CSC_FLAGS
-if [[ $1 == "--debug" || $1 == "-d" ]]; then
-    export CHICKEN_DEBUGGER=localhost:9999
-    export CSC_FLAGS="-d3"
-else
-    export CHICKEN_DEBUGGER=
-    export CSC_FLAGS=-O3
-fi
-
-set -euxo pipefail
-
-mkdir -p ${BUILD_DIR}
-cd ${BUILD_DIR}
-
-csc ${CSC_FLAGS} -o desmoctl -static ../desmoctl.scm
-chmod +x desmoctl
-- 
cgit v1.3