Cairo v0.10.0.

CMakeLists.txt

@@ -1,6 +1,6 @@
 cmake_minimum_required (VERSION 3.22)
 
-set (PYTHON_COMMAND python3.7)
+set (PYTHON_COMMAND python3.9)
 
 project(CairoLang VERSION 0.1.0)
 include(CTest)
@@ -15,8 +15,8 @@ endif()
 find_program(PYTHON "python3")
 
 include("src/cmake_utils/cmake_rules.cmake")
+include("src/cmake_utils/solidity_rules.cmake")
 include("src/starkware/cairo/lang/cairo_cmake_rules.cmake")
 include("src/starkware/starknet/compiler/starknet_cmake_rules.cmake")
 
-# Repos needs to be first as it defines macros that are needed by src.
 add_subdirectory(src)

Dockerfile

@@ -1,8 +1,7 @@
-FROM ciimage/python:3.7
+FROM ciimage/python:3.9
 
 RUN apt update
-RUN apt -y -o Dpkg::Options::="--force-overwrite" install python3.7-dev
-RUN apt install -y make libgmp3-dev g++ python3-pip python3.7-venv npm
+RUN apt install -y make libgmp3-dev g++ python3-pip python3.9-dev python3.9-venv npm
 # Installing cmake via apt doesn't bring the most up-to-date version.
 RUN pip install cmake==3.22
 

README.md

@@ -12,7 +12,7 @@ We recommend starting from [Setting up the environment](https://cairo-lang.org/d
 # Installation instructions
 
 You should be able to download the python package zip file directly from
-[github](https://github.com/starkware-libs/cairo-lang/releases/tag/v0.5.2)
+[github](https://github.com/starkware-libs/cairo-lang/releases/tag/v0.10.0)
 and install it using ``pip``.
 See [Setting up the environment](https://cairo-lang.org/docs/quickstart.html).
 
@@ -54,7 +54,7 @@ Once the docker image is built, you can fetch the python package zip file using:
 
 ```bash
 > container_id=$(docker create cairo)
-> docker cp ${container_id}:/app/cairo-lang-0.9.1.zip .
+> docker cp ${container_id}:/app/cairo-lang-0.10.0.zip .
 > docker rm -v ${container_id}
 ```
 

build.sh

@@ -12,5 +12,5 @@ cp src/starkware/cairo/lang/setup.py ${VENV_SITE_DIR}
 cp src/starkware/cairo/lang/MANIFEST.in ${VENV_SITE_DIR}
 cp scripts/requirements-gen.txt ${VENV_SITE_DIR}/requirements.txt
 cp README.md ${VENV_SITE_DIR}
-( cd ${VENV_SITE_DIR}; python3 setup.py sdist --format=zip )
+( cd ${VENV_SITE_DIR}; python3.9 setup.py sdist --format=zip )
 cp ${VENV_SITE_DIR}/dist/cairo-lang-$(cat src/starkware/cairo/lang/VERSION).zip .