From b532e90ea0def52c1c26f4c7b1337ef93e90a71a Mon Sep 17 00:00:00 2001
From: danyaberezun <danya.berezun@gmail.com>
Date: Tue, 6 Feb 2024 15:05:19 +0100
Subject: [PATCH] add build and rutime rebuild

---
 Makefile | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index fd6a3b4e4..d1fc70081 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
 EXECUTABLE = src/lamac
 INSTALL ?= install -v
 MKDIR ?= mkdir
+BUILDDIR = build
 
 .PHONY: all regression
 
@@ -8,13 +9,22 @@ all:
 	$(MAKE) -C src
 	$(MAKE) -C runtime
 	# $(MAKE) -C byterun
-	# $(MAKE) -C stdlib
+	$(MAKE) -C stdlib
 	# $(MAKE) -C runtime unit_tests.o
 	# $(MAKE) -C runtime invariants_check.o
 	# $(MAKE) -C runtime invariants_check_debug_print.o
 
 STD_FILES=$(shell ls stdlib/*.[oi] stdlib/*.lama runtime/runtime.a runtime/Std.i)
 
+remake_runtime:
+	$(MAKE) -C runtime clean
+	$(MAKE) -C runtime all
+
+copy_to_build: all
+	mkdir -p $(BUILDDIR)
+	cp runtime/Std.i runtime/runtime.a stdlib/* $(BUILDDIR)
+
+
 install: all
 	$(INSTALL) $(EXECUTABLE) `opam var bin`
 	$(MKDIR) -p `opam var share`/Lama
@@ -49,3 +59,4 @@ clean:
 	$(MAKE) clean -C regression
 	$(MAKE) clean -C byterun
 	$(MAKE) clean -C bench
+	rm -rf $(BUILDDIR)