diff options
-rw-r--r-- | test/CMakeLists.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 850aa21..0c09457 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -159,8 +159,10 @@ if (NOT BUILD_MINIMAL) # "gen/c/xpath" "gen/c/lua" # "gen/c/promela" - "gen/vhdl/ecma" + # "gen/vhdl/ecma" + "gen/vhdl/promela" "gen/vhdl/null" + "gen/java/jexl" # bindings |