diff options
Diffstat (limited to 'source/Plugins/Language/CMakeLists.txt')
| -rw-r--r-- | source/Plugins/Language/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/Plugins/Language/CMakeLists.txt b/source/Plugins/Language/CMakeLists.txt index 725138a56c8e..4b92a8ef866b 100644 --- a/source/Plugins/Language/CMakeLists.txt +++ b/source/Plugins/Language/CMakeLists.txt @@ -3,3 +3,4 @@ add_subdirectory(Go) add_subdirectory(Java) add_subdirectory(ObjC) add_subdirectory(ObjCPlusPlus) +add_subdirectory(OCaml) |