Merge pull request #211 from daviddoret/dev

Dev

continuous_integration/scripts/build_package.ps1

@@ -0,0 +1,23 @@
+# This Powershell script builds the python package.
+
+$total_step = 2
+$script = Split-Path $PSCommandPath -Leaf
+Write-Output "Script: $( $script )."
+$script_folder = $PSScriptRoot
+$ci_folder = Split-Path -Path $script_folder -Parent
+$project_folder = Split-Path -Path $ci_folder -Parent
+Write-Output "Script: $( $script ). project_folder = $( $project_folder )"
+Set-Location $project_folder
+
+$current_step = 1
+$command = "python -m pip install --upgrade build"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+Invoke-Expression -Command $command
+
+$current_step = 2
+$command = "python -m build"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+Invoke-Expression -Command $command
+
+
+

continuous_integration/scripts/distribute_package_to_pypi.ps1

@@ -0,0 +1,20 @@
+# This Powershell script deploys the python package to PyPI.
+
+$total_step = 2
+$script = Split-Path $PSCommandPath -Leaf
+Write-Output "Script: $( $script )."
+$script_folder = $PSScriptRoot
+$ci_folder = Split-Path -Path $script_folder -Parent
+$project_folder = Split-Path -Path $ci_folder -Parent
+Write-Output "Script: $( $script ). project_folder = $( $project_folder )"
+Set-Location $project_folder
+
+$current_step = 1
+$command = "python -m pip install --upgrade twine"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+Invoke-Expression -Command $command
+
+$current_step = 2
+$command = "python -m twine upload --repository pypi dist/*"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+Invoke-Expression -Command $command

continuous_integration/scripts/increment_package_version_patch.ps1

@@ -0,0 +1,29 @@
+# This Powershell script increments the python package patch-level version.
+
+$total_step = 2
+$script = Split-Path $PSCommandPath -Leaf
+Write-Output "Script: $( $script )."
+$script_folder = $PSScriptRoot
+$ci_folder = Split-Path -Path $script_folder -Parent
+$project_folder = Split-Path -Path $ci_folder -Parent
+Write-Output "Script: $( $script ). project_folder = $( $project_folder )"
+Set-Location $project_folder
+
+$current_step = 1
+$command = "pip install --upgrade bumpver"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+Invoke-Expression -Command $command
+
+$current_step = 2
+$command = "python -m bumpver update --patch"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+Invoke-Expression -Command $command
+
+
+
+
+
+
+
+
+

continuous_integration/scripts/release_patch.ps1

@@ -0,0 +1,35 @@
+# This Powershell script:
+# 1. increments the patch-level version,
+# 2. builds the documentation,
+# 3. builds the package,
+# 4. releases the package to PyPI.
+
+$total_step = 4
+$script = Split-Path $PSCommandPath -Leaf
+Write-Output "Script: $( $script )."
+$script_folder = $PSScriptRoot
+$ci_folder = Split-Path -Path $script_folder -Parent
+$project_folder = Split-Path -Path $ci_folder -Parent
+Write-Output "Script: $( $script ). project_folder = $( $project_folder )"
+Set-Location $project_folder
+
+$current_step = 1
+$command = "increment_package_version_patch.ps1"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+& $PSScriptRoot\increment_package_version_patch.ps1
+
+$current_step = 2
+$command = "build_docs.ps1"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+& $PSScriptRoot\build_docs.ps1
+
+$current_step = 3
+$command = "build_package.ps1"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+& $PSScriptRoot\build_package.ps1
+
+$current_step = 4
+$command = "release_package.ps1"
+Write-Output "Script: $( $script ). Step: $( $current_step ) / $( $total_step ). $( $command )"
+& $PSScriptRoot\release_package.ps1
+

continuous_integration/scripts/start_venv.ps1

@@ -5,8 +5,7 @@ $script = Split-Path $PSCommandPath -Leaf
 $environment_directory = $EnvironmentDirectory
 if ($environment_directory -eq "")
 {
-    #$environment_directory = "$( $PSScriptRoot )\python-virtual-environment-$( New-Guid )"
-    $environment_directory = "python-virtual-environment-$( New-Guid )"
+    $environment_directory = [System.IO.Path]::GetTempPath() + "python-virtual-environment-$( New-Guid )"
 }
 
 $current_step = 1

docs/source/conf.py

@@ -22,7 +22,7 @@
 project = 'punctilious'
 copyright = '2023, David Doret'
 author = 'David Doret'
-release = "1.0.8"
+release = "1.0.9"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "punctilious"
-version = "1.0.8"
+version = "1.0.9"
 authors = [{ name = "David Doret", email = "[email protected]" }]
 keywords = ["math", "mathematics", "proof", "proof assistant", "math proof assistant", "formal system", ]
 description = "A human-friendly and developer-friendly math proof assistant"
@@ -40,7 +40,7 @@ addopts = [
     "--import-mode=importlib",
 ]
 [tool.bumpver]
-current_version = "1.0.8"
+current_version = "1.0.9"
 version_pattern = "MAJOR.MINOR.PATCH"
 commit_message = "bump version {old_version} -> {new_version}"
 tag_message = "v{new_version}"

src/punctilious/__init__.py

@@ -1,7 +1,7 @@
 """Punctilious: punctilious/__init__.py
 
 """
-__version__ = "1.0.8"
+__version__ = "1.0.9"
 
 from punctilious.plaintext import force_plaintext, Plaintext, unidecode
 from punctilious.repm import monospace, prnt, serif_bold

src/sample/__init__.py

@@ -1,2 +1,2 @@
 """This python module contains sample python scripts that illustrate *punctilious* usage."""
-__version__ = "1.0.8"
+__version__ = "1.0.9"

src/theory/__init__.py

@@ -1,4 +1,4 @@
 """This python module contains mathematical theories formalized with *punctilious*."""
-__version__ = "1.0.8"
+__version__ = "1.0.9"
 
 from theory.theory_tao_2006_the_peano_axioms import Tao2006ThePeanoAxioms