extconf.rb in dep-selector-libgecode-1.0.1

- old
+ new

@@ -45,10 +45,14 @@
 
   def self.setup_env
     if windows?
       ENV['CC'] = 'gcc'
       ENV['CXX'] = 'g++'
+    # Older versions of CentOS and RHEL need to use this
+    elsif File.exist?('/usr/bin/gcc44')
+      ENV['CC'] = 'gcc44'
+      ENV['CXX'] = 'g++44'
     end
 
     # Configure the gecode libraries to look for other gecode libraries in the
     # installed lib dir. This isn't needed for dep-selector to correctly link
     # the libraries it uses, but if you check the libraries with `ldd`, they
@@ -79,10 +83,11 @@
     setup_env
     patch_configure
     system(*configure_cmd) &&
       system("make", "clean") &&
       system("make", "-j", "5") &&
-      system("make", "install")
+      system("make", "install") &&
+      system("make", "distclean")
   end
 
   def self.run
     Dir.chdir(gecode_vendor_dir) do
       run_build_commands or raise BuildError, "Failed to build gecode library."