Make the executables in math for MediaWiki.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

diff --git a/wizard/app/mediawiki.py b/wizard/app/mediawiki.py
index 935a1ee7d279e5b5be752cae182ce20db4b7d196..93fee831fa977ee65969527871f83f1148de9acb 100644 (file)
--- a/wizard/app/mediawiki.py
+++ b/wizard/app/mediawiki.py
@@ -61,6 +61,8 @@ class Application(app.Application):
             self.install_old(options)
     def install_1_17_0(self, options):
         util.soft_unlink("LocalSettings.php")
+        with util.ChangeDirectory("math"):
+            shell.call("make")
         try:
             result = shell.eval(
                     "php", "maintenance/install.php",
@@ -115,6 +117,8 @@ class Application(app.Application):
     def upgrade(self, d, version, options):
         if not os.path.isfile("AdminSettings.php"):
             shell.call("git", "checkout", "-q", "mediawiki-" + str(version), "--", "AdminSettings.php")
+        with util.ChangeDirectory("math"):
+            shell.call("make")
         try:
             result = shell.eval("php", "maintenance/update.php", "--quick", log=True)
         except shell.CallError as e: