--- configure.orig 2011-10-04 11:21:52.000000000 +0200 +++ configure 2012-04-03 19:29:43.250046785 +0200 @@ -5401,7 +5401,7 @@ # This module requires camlidl. -requires=camlidl +requires="camlidl bigarray" # substitutions to perform
--- configure.orig 2011-10-04 11:21:52.000000000 +0200 +++ configure 2012-04-03 19:29:43.250046785 +0200 @@ -5401,7 +5401,7 @@ # This module requires camlidl. -requires=camlidl +requires="camlidl bigarray" # substitutions to perform