Index: Makefile |
diff --git a/Makefile b/Makefile |
index 6395e92895802250e2b36735daeeafb50d5cdf6f..8b9523dcc1977bb912cdd63e2fe4891237707349 100644 |
--- a/Makefile |
+++ b/Makefile |
@@ -120,6 +120,7 @@ ALL_PORTS = \ |
ports/gsl \ |
ports/hdf5 \ |
ports/imagemagick \ |
+ ports/ipython_extension \ |
ports/jpeg6b \ |
ports/jpeg8d \ |
ports/jsoncpp \ |
@@ -454,6 +455,7 @@ dosbox: ports/dosbox ; |
drod: ports/drod ; |
gdb: ports/gdb ; |
git: ports/git ; |
+ipython_extension: ports/ipython_extension ; |
mesagl: ports/mesagl ; |
mongoose: ports/mongoose ; |
nano: ports/nano ; |