configparser module error when installing Pulpissimo SDK

[jmmarostegui]

Ah I think I understood the issue, you are building with sudo:
sudo ./scripts/build-gvsoc
This is creating a new shell with a new environment, which explains why the config is not set.
Just execute it like that:
./scripts/build-gvsoc

The problem now is that without sudo the process stops because lack of write permissions. This is what I get:

moreno@moreno-VirtualBox:/opt/riscv/pulp-builder$ ./scripts/build-gvsoc
+ install_dir=/opt/riscv/pulp-builder/install
+ doc_install_dir=/opt/riscv/pulp-builder/install/doc
+ ws_install_dir=/opt/riscv/pulp-builder/install/ws
+ build_dir=/opt/riscv/pulp-builder/build
+ export PATH=/opt/riscv/pulp-builder/install/ws/bin:/home/moreno/bin:/home/moreno/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
+ PATH=/opt/riscv/pulp-builder/install/ws/bin:/home/moreno/bin:/home/moreno/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
+ export PYTHONPATH=/opt/riscv/pulp-builder/install/ws/python:
+ PYTHONPATH=/opt/riscv/pulp-builder/install/ws/python:
+ export PULP_CONFIGS_PATH=/opt/riscv/pulp-builder/install/ws/configs
+ PULP_CONFIGS_PATH=/opt/riscv/pulp-builder/install/ws/configs
+ make -C json-tools all install BUILD_DIR=/opt/riscv/pulp-builder/build/json-tools INSTALL_DIR=/opt/riscv/pulp-builder/install/ws
make: Entering directory '/opt/riscv/pulp-builder/json-tools'
#### Building in /opt/riscv/pulp-builder/build/json-tools
#### Release type is RelWithDebInfo
#### Installing to /opt/riscv/pulp-builder/install/ws
( cd /opt/riscv/pulp-builder/build/json-tools ; \
  cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_INSTALL_PREFIX=/opt/riscv/pulp-builder/install/ws \
/opt/riscv/pulp-builder/json-tools/ )
-- Configuring done
CMake Error: Cannot open file for write: /opt/riscv/pulp-builder/build/json-tools/CMakeCache.txt.tmp
CMake Error: : System Error: Permission denied
CMake Error: Unable to open cache file for save. /opt/riscv/pulp-builder/build/json-tools/CMakeCache.txt
CMake Error: : System Error: Permission denied
Makefile:58: recipe for target '/opt/riscv/pulp-builder/build/json-tools/CMakeCache.txt' failed
make: *** [/opt/riscv/pulp-builder/build/json-tools/CMakeCache.txt] Error 1
make: Leaving directory '/opt/riscv/pulp-builder/json-tools'