Include iele-test-client in the installation (#309)

runtimeverification · Sep 14, 2021 · 2a10a38 · 2a10a38
1 parent 41a47d6
commit 2a10a38
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -423,7 +423,6 @@ all_lib_sources := $(shell find $(IELE_LIB) -type f
                             -not -path "$(IELE_LIB)/*.ml"                                  \
                             -not -path "$(IELE_LIB)/*.mli"                                 \
                             -not -path "$(IELE_LIB)/*.o"                                   \
-                            -not -path "$(IELE_LIB)/iele-test-client"                      \
                             -not -path "$(IELE_LIB)/plugin-node/*"                         \
                             -not -path "$(IELE_LIB)/check/well-formedness-kompiled/dt/*"   \
                             -not -path "$(IELE_LIB)/node/iele-testing-kompiled/dt/*"       \