Am Donnerstag, den 21.01.2010, 11:52 -0500 schrieb Michael Di Domenico: > openmpi-1.4.1/contrib/platform/win32/bin/flex.exe > > I understand this file might be required for building on windows, > since I'm not I can just delete the file without issue. > > However, for those of us under import restrictions, where binaries are > not allowed in, this file causes me to open the tarball and delete the > file (not a big deal, i know, i know). > > But, can I put up a vote for a pure source only tree?
I'm very much in favor of that since we can't ship this binary in Debian. We'd have to delete it from the tarball and repack it with every release which is quite cumbersome. If these tools could be shipped in a separate tarball that would be great! Best regards Manuel
