diff --git a/src/test/lp/lp_main.cpp b/src/test/lp/lp_main.cpp
new file mode 100644
index 000000000..a301f38c6
--- /dev/null
+++ b/src/test/lp/lp_main.cpp
@@ -0,0 +1,14 @@
+void        gparams_register_modules(){}
+void mem_initialize() {}
+void mem_finalize() {}
+#include "util/rational.h"
+namespace lean {
+void test_lp_local(int argc, char**argv);
+}
+int main(int argn, char**argv){
+    rational::initialize();
+    lean::test_lp_local(argn, argv);
+    rational::finalize();
+    return 0;
+}
+