added development scripts

p3nGu1nZz · Sep 11, 2024 · 336ff19 · 336ff19
1 parent a93bbc2
commit 336ff19
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/scripts/dev.bat b/scripts/dev.bat
@@ -0,0 +1,9 @@
+@echo off
+call %~dp0\setenv.bat
+echo Current Directory: %cd%
+cd %PROJECT_DIR%
+echo New Current Directory: %cd%
+pip install -e .
+timeout /t 0.25 >nul
+cls
+oproof "What is 2 + 2?" "4" %*
diff --git a/scripts/setenv.bat b/scripts/setenv.bat
@@ -0,0 +1,11 @@
+@echo off
+set PROJECT_DIR=%~dp0..
+echo Project Root Directory: %PROJECT_DIR%
+set SCRIPTS_DIR=%PROJECT_DIR%\scripts
+echo Scripts Directory: %SCRIPTS_DIR%
+set VENV_DIR=%PROJECT_DIR%\venv\oproof
+echo Virtual Environment Directory: %VENV_DIR%
+call %VENV_DIR%\Scripts\activate
+setx PROJECT_DIR %PROJECT_DIR%
+setx SCRIPTS_DIR %SCRIPTS_DIR%
+setx VENV_DIR %VENV_DIR%