From 78b2d0b34ce6154355caa624307028dd86bd5b89 Mon Sep 17 00:00:00 2001
From: Kait Lam <k@rina.fyi>
Date: Mon, 25 Mar 2024 11:05:56 +1000
Subject: [PATCH] remove ./asli script (#65)

since the vendoring of .asl files via dune, this script
is incorrect and no longer needed.
---
 asli | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 asli

diff --git a/asli b/asli
deleted file mode 100755
index d8dc947d..00000000
--- a/asli
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash
-
-cd "$(dirname $0)"
-
-eval `opam env`
-export LD_LIBRARY_PATH="$(opam var z3:lib):$LD_LIBRARY_PATH"
-
-_build/default/bin/asli.exe \
-  prelude.asl ./mra_tools/arch/regs.asl ./mra_tools/types.asl \
-  ./mra_tools/arch/arch.asl ./mra_tools/arch/arch_instrs.asl ./mra_tools/arch/arch_decode.asl \
-  ./mra_tools/support/aes.asl ./mra_tools/support/barriers.asl ./mra_tools/support/debug.asl \
-  ./mra_tools/support/feature.asl ./mra_tools/support/hints.asl ./mra_tools/support/interrupts.asl \
-  ./mra_tools/support/memory.asl ./mra_tools/support/stubs.asl ./mra_tools/support/fetchdecode.asl \
-  ./tests/override.asl ./tests/override.prj "$@"