--- trunk/configure.ac 2010/08/03 14:46:27 203 +++ trunk/configure.ac 2010/08/03 16:41:03 204 @@ -158,6 +158,7 @@ dnl ***** Makefiles ***** src/dnorm/Makefile src/compiler/Makefile + test/MIP/Makefile dnl dnl ***** SML source files ***** src/compiler/fields/run-dnorm.sml:src/compiler/fields/run-dnorm_sml.in