Update doc (#2599)

* gitignore for MACOS and pycharm

* the default clang is clang-15 using

* always choose k-which-python for poetry

* auto-check k installation method and set python version

* resolve issues

.gitignore

@@ -18,3 +18,5 @@
 /tests/specs/**/*.prove.out
 /tests/specs/**/*.sol.json
 /tests/vm/*.out
+.DS_Store
+.idea/

Makefile

@@ -4,15 +4,20 @@ all: poetry
 # Building
 # --------
 
-PYTHON_BIN   := python3.10
+ifeq ($(shell command -v k-which-python),)
+    PYTHON_BIN := python3.10
+else
+    PYTHON_BIN := $(shell k-which-python)
+endif
+
 KEVM_PYK_DIR := ./kevm-pyk
 POETRY       := poetry -C $(KEVM_PYK_DIR)
 POETRY_RUN   := $(POETRY) run --
 
 
 .PHONY: poetry-env
 poetry-env:
-	$(POETRY) env use $(PYTHON_BIN)
+	$(POETRY) env use --no-cache $(PYTHON_BIN)
 
 poetry: poetry-env
 	$(POETRY) install

README.md

@@ -140,7 +140,7 @@ poetry -C kevm-pyk run kdist --verbose build evm-semantics.plugin
 To change the default compiler:
 
 ```sh
-CXX=clang++-14 poetry -C kevm-pyk run kdist --verbose build evm-semantics.plugin
+CXX=clang++-15 poetry -C kevm-pyk run kdist --verbose build evm-semantics.plugin
 ```
 
 On Apple silicon: