feat: remove consistency arguments from HUB + associated lookup + update Makefile (#587)

Author: OlivierBBB

Makefile

@@ -32,7 +32,47 @@ EXP := exp
 
 GAS := gas
 
-HUB :=  hub
+HUB :=  $(wildcard hub/columns/*lisp) \
+	$(wildcard hub/constraints/account-rows/*lisp) \
+	$(wildcard hub/constraints/context-rows/*lisp) \
+	$(wildcard hub/constraints/generalities/*lisp) \
+	$(wildcard hub/constraints/heartbeat/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/generalities/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/finishing_touches/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/specialized/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/precompiles/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/precompiles/common/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/precompiles/ec_add_mul_pairing/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/precompiles/modexp/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/call/precompiles/blake/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/copy/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/create/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/create/constraints/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/halting/*lisp) \
+	$(wildcard hub/constraints/instruction-handling/*lisp) \
+	$(wildcard hub/constraints/miscellaneous-rows/*lisp) \
+	$(wildcard hub/constraints/scenario-rows/shorthands/*lisp) \
+	$(wildcard hub/constraints/scenario-rows/*lisp) \
+	$(wildcard hub/constraints/storage-rows/*lisp) \
+	$(wildcard hub/constraints/tx_skip/*lisp) \
+	$(wildcard hub/constraints/tx_prewarm/*lisp) \
+	$(wildcard hub/constraints/tx_init/*lisp) \
+	$(wildcard hub/constraints/tx_init/rows/*lisp) \
+	$(wildcard hub/constraints/tx_finl/*lisp) \
+	$(wildcard hub/constraints/tx_finl/rows/*lisp) \
+	$(wildcard hub/constraints/*lisp) \
+	$(wildcard hub/lookups/*lisp) \
+	hub/constants.lisp
+
+## full HUB:
+# HUB :=  hub
+	# $(wildcard hub/constraints/consistency/stack/*lisp) \
+	# $(wildcard hub/constraints/consistency/*lisp) \
+	# $(wildcard hub/constraints/consistency/account/*lisp) \
+	# $(wildcard hub/constraints/consistency/context/*lisp) \
+	# $(wildcard hub/constraints/consistency/execution_environment/*lisp) \
+	# $(wildcard hub/constraints/consistency/storage/*lisp) \
 
 LIBRARY := library