install Mumps with build. Fixes #1

jump-dev · Oct 10, 2013 · 0c35003 · 0c35003
1 parent 880d5cc
commit 0c35003
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/deps/build.jl b/deps/build.jl
@@ -19,6 +19,10 @@ provides(SimpleBuild,
         @build_steps begin
             ChangeDirectory(srcdir)
             `cat $patchdir/ipopt-shlibs.patch` |> `patch -p1`
+            @build_steps begin
+                ChangeDirectory(joinpath(srcdir,"ThirdParty","Mumps"))
+                `./get.Mumps`
+            end
             `./configure --prefix=$prefix`
             `make install`
         end