winpaths.py
author etisserant <edouard.tisserant@gmail.com>
Fri, 03 Mar 2023 19:17:30 +0100
changeset 118 99fad4ed7ed4
parent 116 dc462ee1c0f5
child 120 02e37d9e96a9
permissions -rw-r--r--
Beremiz revision bump
import os

PATH = os.environ["PATH"]
instdir = os.path.dirname(os.path.dirname(os.path.realpath(__file__)))
os.environ["PATH"] = ';'.join([
    os.path.join(instdir, "msys2", "bin"),
    os.path.join(instdir, "msys2", "usr", "bin"),
    os.path.join(instdir, "msys2", "mingw32", "bin"),
    PATH
])