From bcfcf8cf395e1c3014fad314065c1f144f17cc29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Sat, 14 Jul 2012 14:35:34 +0200
Subject: [PATCH] Added iostream in standard library

---
 lib/Makefile | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/lib/Makefile b/lib/Makefile
index db5540f..5b077da 100644
--- a/lib/Makefile
+++ b/lib/Makefile
@@ -1,6 +1,6 @@
 include ../config
 
-STDLIB_INTERFACE=pervasives.epi
+STDLIB_INTERFACE=pervasives.epi iostream.epi
 STDLIB_OBJ=$(STDLIB_INTERFACE:.epi=.epci)
 
 C_DIR=c
@@ -8,13 +8,16 @@ C_OBJ=pervasives.h
 
 .SUFFIXES: .epi .epci
 
-.epi.epci:
-	../compiler/$(COMPILER).$(TARGET) -nopervasives $<
-
 .PHONY: all install clean
 
 all: $(STDLIB_OBJ)
 
+pervasives.epci: pervasives.epi
+	../compiler/$(COMPILER).$(TARGET) -nopervasives $<
+
+%.epci: %.epi
+	../compiler/$(COMPILER).$(TARGET) $<
+
 install: all
 	$(INSTALL) -d $(INSTALL_LIBDIR)
 	$(INSTALL) $(STDLIB_OBJ) $(STDLIB_INTERFACE) $(INSTALL_LIBDIR)
@@ -22,4 +25,5 @@ install: all
 	(cd c/; $(INSTALL) $(C_OBJ) $(INSTALL_LIBDIR)/$(C_DIR))
 
 clean:
-	rm -f *.epci
\ No newline at end of file
+	rm -f *.epci
+