1 files changed, 10 insertions, 0 deletions
diff --git a/config/rdfox.mpb b/config/rdfox.mpb
new file mode 100644
index 00000000..a718b546
--- /dev/null
+++ b/config/rdfox.mpb
@@ -0,0 +1,10 @@
+// -*- MPC -*-
+project {
+  includes += $(RDFOX_ROOT)/include
+  libpaths += $(RDFOX_ROOT)/lib
+  lit_libs += libRDFox
+
+  specific(prop:microsoft) {
+    exceptionhandling = Async
+  }
+}