Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
ocamlopt generates duplicate symbols on arm #5030
Original bug ID: 5030
While rebuilding all Debian packages (armel port) with ocamlopt enabled (using trunk r10268), ssreflect failed to build. The build log is available at .
The assembler is complaining about multiple definitions of the same symbol. This error doesn't occur on amd64.