You're right, the options I used were: * build script * # OPTS="$OPTS -DBUILD_GITHUB_PLUGIN=OFF" * # OPTS="$OPTS -DKICAD_SCRIPTING=ON -DKICAD_SCRIPTING_MODULES=ON -DKICAD_SCRIPTING_WXPYTHON=ON"
I'll try tonight a build from a clean dir
regards.
You're right, GITHUB_ PLUGIN= OFF" SCRIPTING= ON -DKICAD_ SCRIPTING_ MODULES= ON -DKICAD_ SCRIPTING_ WXPYTHON= ON"
the options I used were:
* build script
* # OPTS="$OPTS -DBUILD_
* # OPTS="$OPTS -DKICAD_
I'll try tonight a build from a clean dir
regards.