Build the SelectionDAG library