Add gmpxx package

[builder.git] / source / package.cpp

diff --git a/source/package.cpp b/source/package.cpp
index 3072fd6a65ccd1d6a6303d54b80ffdb789ca35da..121213f19b068147f062d3afb5f4233f143ced26 100644 (file)
--- a/source/package.cpp
+++ b/source/package.cpp
@@ -107,7 +107,8 @@ void Package::create_build_info()
 
 void Package::process_options(const RawOptionMap &opts)
 {
-       config.process(opts);
+       if(config.process(opts))
+               config.save(source/".options.cache");
 }
 
 Package *Package::create(Builder &b, const string &name)
@@ -126,6 +127,8 @@ Package *Package::create(Builder &b, const string &name)
                        info.push_back("-lGL");
                else if(name=="pthread")
                        info.push_back("-lpthread");
+               else if(name=="gmpxx")
+                       info.push_back("-lgmpxx");
                else
                        return 0;
        }
@@ -156,6 +159,8 @@ void Package::init_buildable()
                config.add_option("includedir", "$prefix/lib",     "Library installation directory");
        if(flags&DATA)
                config.add_option("includedir", "$prefix/share",   "Data installation directory");*/
+
+       config.load(source/".options.cache");
 }
 
 unsigned Package::get_install_flags()