add-32bit_packages.diff 1.3 KB

123456789101112131415161718192021222324252627282930
  1. --- panda.py~ 2013-12-22 18:35:44.986644221 +0100
  2. +++ panda.py 2013-12-23 10:50:00.433218873 +0100
  3. @@ -7,6 +7,7 @@
  4. import pisi
  5. import shutil
  6. from subprocess import call
  7. +from distutils import util
  8. sysdir = "/sys/bus/pci/devices/"
  9. driversDB = "/usr/share/X11/DriversDB"
  10. @@ -36,7 +37,7 @@
  11. "module-nvidia-current-userspace",
  12. "xorg-video-nvidia-current",
  13. "nvidia-xconfig",
  14. - "nvidia-settings"] ,
  15. + "nvidia-settings"],
  16. "nvidia96": ["module-nvidia96",
  17. "module-pae-nvidia96",
  18. "module-nvidia96-userspace",
  19. @@ -54,6 +55,9 @@
  20. "xorg-video-nvidia304",
  21. "nvidia-xconfig",
  22. "nvidia-settings"]}
  23. + if util.get_platform() == "linux-x86_64":
  24. + self.driver_packages["fglrx"].append("xorg-video-fglrx-32bit")
  25. + self.driver_packages["nvidia-current"].append("xorg-video-nvidia-current-32bit")
  26. def __get_primary_driver(self):
  27. '''Get driver name for the working primary device'''