1 files changed, 46 insertions, 0 deletions
diff --git a/ic-reals-6.3/base/Makefile b/ic-reals-6.3/base/Makefile
new file mode 100644
index 0000000..4b84c04
--- /dev/null
+++ b/ic-reals-6.3/base/Makefile
@@ -0,0 +1,46 @@
+# -DDAVINCI enables the davinci interface
+# -DEBUG some debugging (for now just turns on nodeIds)
+# -TRACE=traceOn enables tracing accoring to library function debugTrace()
+
+OBJS = \
+	Vector.o \
+	DigsX.o \
+	MatX.o \
+	TenXY.o \
+	SignX.o \
+	Alt.o \
+	realLib.o \
+	boolLib.o \
+	force_R.o \
+	force_B.o \
+	forceFuncLookupTable.o \
+	delay.o \
+	emitDigit.o \
+	emitSign.o \
+	digitHandling.o \
+	util.o \
+	dump.o \
+	epsDel.o \
+	debug.o \
+	nodeId.o \
+	strategy.o \
+	print.o \
+	boolUtil.o \
+	gteq0.o \
+	gt0.o \
+	boolOp.o \
+	stack.o \
+	davinciInterface.o \
+	error.o
+
+# garbage.o
+# strsep.o
+# strictAlt.o
+# reduce.o
+
+force : $(OBJS)
+
+$(OBJS): ../real.h ../real-impl.h
+
+clean:
+	rm -f $(OBJS)