Revision r1791 .---------------------- Renamed CMAKE_(SOURCE|BINARY)_DIR to PROJECT_(SOURCE|BINARY)_DIR to let people build dune modules as subproject of another project. .---------------------- [[Imported from SVN: r1865]]
