From 2bdc5d09389c8fccd8100c0c07c54b2b8895c76a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 21 Sep 2018 15:09:08 +0100
Subject: Remove cheri and mips specs -- they now have their own repository.

---
 mips/Holmakefile | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 mips/Holmakefile

(limited to 'mips/Holmakefile')

diff --git a/mips/Holmakefile b/mips/Holmakefile
deleted file mode 100644
index a31bfd4f..00000000
--- a/mips/Holmakefile
+++ /dev/null
@@ -1,11 +0,0 @@
-LEMDIR=../../lem/hol-lib
-
-INCLUDES = $(LEMDIR) ../lib/hol
-
-all: mipsTheory.uo
-.PHONY: all
-
-ifdef POLY
-BASE_HEAP = ../lib/hol/sail-heap
-
-endif
-- 
cgit v1.2.3