Brick-Top compilation