clean:
	make -C otherlibs/num clean

all:
	make -C otherlibs/num all
	make -C otherlibs/num allopt
