diff options
Diffstat (limited to 'examples/Makefile')
-rw-r--r-- | examples/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/examples/Makefile b/examples/Makefile index 162a94e7a7..5594c05fa3 100644 --- a/examples/Makefile +++ b/examples/Makefile @@ -10,8 +10,7 @@ LEVEL=.. include $(LEVEL)/Makefile.config -PARALLEL_DIRS:= BrainF Fibonacci HowToUseJIT Kaleidoscope ModuleMaker \ - OCaml-Kaleidoscope +PARALLEL_DIRS:= BrainF Fibonacci HowToUseJIT Kaleidoscope ModuleMaker ifeq ($(HAVE_PTHREAD),1) PARALLEL_DIRS += ParallelJIT @@ -26,4 +25,8 @@ ifeq ($(LLVM_ON_UNIX),1) endif endif +ifeq ($(filter $(BINDINGS_TO_BUILD),ocaml),ocaml) + PARALLEL_DIRS += OCaml-Kaleidoscope +endif + include $(LEVEL)/Makefile.common |