195483 2007-10-11 09:47 0000 sci-mathematics/coq-8.1_p1 fails to configure - Unknown option "opt" 2007-10-11 10:04:58 0000 1 1 1 Unclassified Gentoo Linux Applications 2007.0 AMD64 Linux RESOLVED FIXED P2 normal --- 1 greenrd@greenrd.org ml@gentoo.org sci@gentoo.org greenrd@greenrd.org 2007-10-11 09:47:48 0000 sci-mathematics/coq-8.1_p1 fails to emerge at the configure stage. See attached build log. greenrd@greenrd.org 2007-10-11 09:49:51 0000 Created an attachment (id=133127) build log aballier@gentoo.org 2007-10-11 10:04:58 0000 fixed thanks, configure was eating the --coqide option when norealanalysis useflag was set, what cause him to see 'opt' option and fail 133127 2007-10-11 09:49 0000 build log build.log text/plain Pj4+IFVucGFja2luZyBzb3VyY2UuLi4NCj4+PiBVbnBhY2tpbmcgY29xLTguMXBsMS50YXIuZ3og dG8gL3Zhci90bXAvcG9ydGFnZS9zY2ktbWF0aGVtYXRpY3MvY29xLTguMV9wMS93b3JrDQo+Pj4g U291cmNlIHVucGFja2VkLg0KPj4+IENvbXBpbGluZyBzb3VyY2UgaW4gL3Zhci90bXAvcG9ydGFn ZS9zY2ktbWF0aGVtYXRpY3MvY29xLTguMV9wMS93b3JrL2NvcS04LjFwbDEgLi4uDQpVbmtub3du IG9wdGlvbiAib3B0Ii4NCkF2YWlsYWJsZSBvcHRpb25zIGZvciBjb25maWd1cmUgYXJlOg0KDQot aGVscA0KCURpc3BsYXlzIHRoaXMgaGVscCBwYWdlDQoNCi1wcmVmaXggPGRpcj4NCglTZXQgaW5z dGFsbGF0aW9uIGRpcmVjdG9yeSB0byA8ZGlyPg0KDQotbG9jYWwNCglTZXQgaW5zdGFsbGF0aW9u IGRpcmVjdG9yeSB0byB0aGUgY3VycmVudCBzb3VyY2UgdHJlZQ0KDQotc3JjDQoJU3BlY2lmaWVz IHRoZSBzb3VyY2UgZGlyZWN0b3J5DQoNCi1iaW5kaXINCi1saWJkaXINCi1tYW5kaXINCglTcGVj aWZpZXMgd2hlcmUgdG8gaW5zdGFsbCBiaW4vbGliL21hbiBmaWxlcyByZXNwLg0KDQotZW1hY3Ns aWINCi1lbWFjcw0KCVNwZWNpZmllcyB3aGVyZSBlbWFjcyBmaWxlcyBhcmUgdG8gYmUgaW5zdGFs bGVkDQoNCi1jb3Fkb2NkaXINCglTcGVjaWZpZXMgd2hlcmUgQ29xZG9jIHN0eWxlIGZpbGVzIGFy ZSB0byBiZSBpbnN0YWxsZWQNCg0KLWNhbWxkaXINCglUZWxscyBjb25maWd1cmUgd2hlcmUgdG8g bG9vayBmb3IgT0NhbWwgZmlsZXMNCg0KLWFyY2gNCglTcGVjaWZpZXMgdGhlIGFyY2hpdGVjdHVy ZQ0KDQotb3B0DQoJU3BlY2lmaWVzIHdoZXRoZXIgb3Igbm90IHRvIGdlbmVyYXRlIG9wdGltaXpl ZCBleGVjdXRhYmxlcw0KDQotZnNldHMgKGFsbHxiYXNpYykNCi1yZWFscyAoYWxsfGJhc2ljKQ0K U3BlY2lmaWVzIHdoZXRoZXIgb3Igbm90IHRvIGNvbXBpbGUgZnVsbCBGU2V0cy9SZWFscyBsaWJy YXJ5DQoNCi1jb3FpZGUgKG9wdHxieXRlfG5vKQ0KCVNwZWNpZmllcyB3aGV0aGVyIG9yIG5vdCB0 byBjb21waWxlIENvcWlkZQ0KDQotd2l0aC1nZW9wcm9vZiAoeWVzfG5vKQ0KCVNwZWNpZmllcyB3 aGV0aGVyIG9yIG5vdCB0byB1c2UgR2VvcHJvb2YgYmluZGluZw0KDQotd2l0aC1jYyA8ZmlsZT4N Ci13aXRoLWFyIDxmaWxlPg0KLXdpdGgtcmFubGliIDxmaWxlPg0KCVRlbGxzIGNvbmZpZ3VyZSB3 aGVyZSB0byBmaW5kIGdjYy9hci9yYW5saWIgZXhlY3V0YWJsZXMNCg0KLWJ5dGUtb25seQ0KCUNv bXBpbGVzIG9ubHkgYnl0ZWNvZGUgdmVyc2lvbiBvZiBDb3ENCg0KLWRlYnVnDQoJQWRkIGRlYnVn Z2luZyBpbmZvcm1hdGlvbiBpbiB0aGUgQ29xIGV4ZWN1dGFibGVzDQoNCi1wcm9maWxlDQoJQWRk IHByb2ZpbGluZyBpbmZvcm1hdGlvbiBpbiB0aGUgQ29xIGV4ZWN1dGFibGVzDQoNCi1hbm5vdGF0 ZQ0KCUNvbXBpbGVzIENvcSB3aXRoIC1kdHlwZXMgb3B0aW9uDQogG1szMTswMW0qG1swbSANCiAb WzMxOzAxbSobWzBtIEVSUk9SOiBzY2ktbWF0aGVtYXRpY3MvY29xLTguMV9wMSBmYWlsZWQuDQog G1szMTswMW0qG1swbSBDYWxsIHN0YWNrOg0KIBtbMzE7MDFtKhtbMG0gICBlYnVpbGQuc2gsIGxp bmUgMTY1NDogICBDYWxsZWQgZHluX2NvbXBpbGUNCiAbWzMxOzAxbSobWzBtICAgZWJ1aWxkLnNo LCBsaW5lIDk5MDogICBDYWxsZWQgcWFfY2FsbCAnc3JjX2NvbXBpbGUnDQogG1szMTswMW0qG1sw bSAgIGVidWlsZC5zaCwgbGluZSA0NDogICBDYWxsZWQgc3JjX2NvbXBpbGUNCiAbWzMxOzAxbSob WzBtICAgY29xLTguMV9wMS5lYnVpbGQsIGxpbmUgNDU6ICAgQ2FsbGVkIGRpZQ0KIBtbMzE7MDFt KhtbMG0gDQogG1szMTswMW0qG1swbSBjb25maWd1cmUgZmFpbGVkDQogG1szMTswMW0qG1swbSBJ ZiB5b3UgbmVlZCBzdXBwb3J0LCBwb3N0IHRoZSB0b3Btb3N0IGJ1aWxkIGVycm9yLCBhbmQgdGhl IGNhbGwgc3RhY2sgaWYgcmVsZXZhbnQuDQogG1szMTswMW0qG1swbSBBIGNvbXBsZXRlIGJ1aWxk IGxvZyBpcyBsb2NhdGVkIGF0ICcvdmFyL3RtcC9wb3J0YWdlL3NjaS1tYXRoZW1hdGljcy9jb3Et OC4xX3AxL3RlbXAvYnVpbGQubG9nJy4NCiAbWzMxOzAxbSobWzBtIA0K