From 326a8a7c5a6a8fdf64aa6e800788f0f4cbe65ceb Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 7 Nov 2013 18:29:35 +0000
Subject: Port L2 to new Lem

Tests compile and run properly. There is a lot of hackery going
on to workaround the rough edges of new Lem. Use at your own
risk (you need the "library-format" branch of lem).
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e1a13cba..f9c595de 100644
--- a/Makefile
+++ b/Makefile
@@ -2,8 +2,8 @@
 
 all: src language
 
-src:
-	$(MAKE) -C $@
+src: language
+	$(MAKE) -C $@ update_lem_lib all
 
 language:
 	$(MAKE) -C $@
-- 
cgit v1.2.3