diff options
-rw-r--r-- | Makefile | 3 | ||||
-rw-r--r-- | src/resp.cpp | 4 |
2 files changed, 4 insertions, 3 deletions
@@ -21,8 +21,9 @@ all: builddir build/resp builddir: mkdir -p build +#build/c.o + OBJECTS = \ - build/c.o \ build/compile.o \ build/constrain.o \ build/cps.o \ diff --git a/src/resp.cpp b/src/resp.cpp index e2f5a49..0774399 100644 --- a/src/resp.cpp +++ b/src/resp.cpp @@ -126,8 +126,8 @@ main(int argc, char** argv) if (backend_name == "llvm") engine = resp_new_llvm_engine(); - else if (backend_name == "c") - engine = resp_new_c_engine(); + //else if (backend_name == "c") + // engine = resp_new_c_engine(); if (!engine) { std::cerr << "Unable to open backend " << backend_name << std::endl; |