anchor.diff:  , oceSupport ? false, opencascade
   , withOCCT ? true, opencascade-occt
   , ngspiceSupport ? true, libngspice
  -, scriptingSupport ? true, swig, python3
  +, scriptingSupport ? false, swig, python3
   , debug ? false, valgrind
   , with3d ? true
   , withI18n ? true
  
positive.code:   dontFixup = true;
  
    pythonPath = optionals (scriptingSupport)
      [ wxPython pythonPackages.six ];
  
    nativeBuildInputs = optionals (scriptingSupport)
      [ pythonPackages.wrapPython ];
  
    # wrapGAppsHook added the equivalent to ${base}/share
    # though i noticed no difference without it
  
negative.code:     # but brings high DPI support?
      else wxGTK31.override { withGtk2 = false; };
  
    python = python3;
    wxPython = python.pkgs.wxPython_4_0;
  
  in
  stdenv.mkDerivation rec {
  