summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile14
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..968bd76
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,14 @@
+PREFIX = /usr
+BINDIR = bin/
+
+all: hvinfo
+
+hvinfo:
+ gnatmake src/hvinfo.adb
+
+clean:
+ gnatclean hvinfo hypervisor_check
+
+install:
+ mkdir -p $(PREFIX)/$(BINDIR)
+ cp hvinfo $(PREFIX)/$(BINDIR)