hoopl dependency

Devs, Matko (an intern here at MSR) says Matko Bosnjak 19:02: Hi Simon, There's a 'bug' in some of the latest commits of ghc on git. When running ./build I get: Error: libraries/hoopl/LICENSE doesn't exist. Maybe you haven't done 'git submodule update --init'? at ./boot line 112, <PACKAGES> line 54. Someone removed the dependency on hoopl library, but hasn't removed it from the 'packages' file. What should he do? Simon