


all: 
	$(MAKE) -C ../ stdlib

clean: 
	$(MAKE) -C ../ stdlib-clean
