1 files changed, 2 insertions, 0 deletions
diff --git a/buildtools/configure.pl b/buildtools/configure.pl
index 29887642..11c662fd 100755
--- a/buildtools/configure.pl
+++ b/buildtools/configure.pl
@@ -1135,6 +1135,8 @@ sub getLinuxsvgaLibrary($@) {
             $default = '/usr/lib/svgalib/libvga.so';
         } elsif (system('ldconfig -p | grep libvga &>/dev/null') == 0) {
             $default = 'libvga.so';
+        } elsif (-f('/usr/lib/libvga.a')) {
+            $default = '/usr/lib/libvga.a';
         } else {
             $default = 'none';
         }