Merge pull request #167 from lean-dojo/v1.9.0

fix the bug related to relative paths

src/lean_dojo/constants.py

@@ -26,7 +26,7 @@
     Path(os.environ["CACHE_DIR"])
     if "CACHE_DIR" in os.environ
     else Path.home() / ".cache/lean_dojo"
-)
+).absolute()
 """Cache directory for storing traced repos (see :ref:`caching`).
 """
 
@@ -37,7 +37,7 @@
 """Whether to disable remote caching (see :ref:`caching`) and build all repos locally.
 """
 
-TMP_DIR = Path(os.environ["TMP_DIR"]) if "TMP_DIR" in os.environ else None
+TMP_DIR = Path(os.environ["TMP_DIR"]).absolute() if "TMP_DIR" in os.environ else None
 """Temporary directory used by LeanDojo for storing intermediate files
 """