Path to krypto.a passed as input to Makefile.

Makefile

@@ -12,7 +12,7 @@ ULMDIR = ../ulm
 ULMINCLUDE = $(ULMDIR)/kllvm
 EVMDIR = ../evm-semantics
 KRYPTOINCLUDE = $(EVMDIR)/kevm-pyk/src/kevm_pyk/kproj/plugin
-CFLAGS = -ccopt -std=c++17 -ccopt -lssl -ccopt -lcrypto -ccopt -lsecp256k1 -ccopt $(EVMDIR)/krypto.a -ccopt -L$(ULMINCLUDE) -ccopt -lulmkllvm
+CFLAGS = -ccopt -std=c++17 -ccopt -lssl -ccopt -lcrypto -ccopt -lsecp256k1 -ccopt $(KRYPTOLIB) -ccopt -L$(ULMINCLUDE) -ccopt -lulmkllvm
 
 UNISWAP_PARAMS = $(EXAMPLES_DIR)/swaps/UniswapV2Swap.sol 2>&1 1>$(OUTPUT_DIR)/uniswap.ast
 UNISWAPRN_PARAMS = $(EXAMPLES_DIR)/swaps/UniswapV2SwapRenamed.sol 2>&1 1>$(OUTPUT_DIR)/uniswaprn.ast