CGAL users discussion list

[savaliajay <>]

i follow your step but while doing make.
i got following output.
////////////////////////////////////////

cc -o configurator/configurator configurator/taucs_config.c
config/std.mk:35: warning: overriding commands for target `obj'
config/std.mk:29: warning: ignoring old commands for target `obj'
config/std.mk:37: warning: overriding commands for target `linux_mine'
config/std.mk:35: warning: ignoring old commands for target `linux_mine'
config/std.mk:39: warning: overriding commands for target `linux_mine'
config/std.mk:37: warning: ignoring old commands for target `linux_mine'
config/std.mk:42: warning: overriding commands for target `obj'
config/std.mk:35: warning: ignoring old commands for target `obj'
config/std.mk:42: warning: overriding commands for target `linux_mine'
config/std.mk:39: warning: ignoring old commands for target `linux_mine'
config/std.mk:47: warning: overriding commands for target `bin/'
config/std.mk:37: warning: ignoring old commands for target `bin/'
config/std.mk:47: warning: overriding commands for target `linux_mine'
config/std.mk:42: warning: ignoring old commands for target `linux_mine'
config/std.mk:47: warning: overriding commands for target `exists.log'
config/std.mk:42: warning: ignoring old commands for target `exists.log'
config/std.mk:52: warning: overriding commands for target `lib/'
config/std.mk:39: warning: ignoring old commands for target `lib/'
config/std.mk:52: warning: overriding commands for target `linux_mine'
config/std.mk:47: warning: ignoring old commands for target `linux_mine'
config/std.mk:52: warning: overriding commands for target `exists.log'
config/std.mk:47: warning: ignoring old commands for target `exists.log'
config/std.mk:139: warning: overriding commands for target `linux_mine'
config/std.mk:52: warning: ignoring old commands for target `linux_mine'
build/linux_mine/makefile:59: warning: overriding commands for target `obj'
config/std.mk:42: warning: ignoring old commands for target `obj'
build/linux_mine/makefile:59: warning: overriding commands for target
`linux_mine'
config/std.mk:139: warning: ignoring old commands for target `linux_mine'
build/linux_mine/makefile:64: warning: overriding commands for target `obj'
build/linux_mine/makefile:59: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:64: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:59: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:69: warning: overriding commands for target `obj'
build/linux_mine/makefile:64: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:69: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:64: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:74: warning: overriding commands for target `obj'
build/linux_mine/makefile:69: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:74: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:69: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:79: warning: overriding commands for target `obj'
build/linux_mine/makefile:74: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:79: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:74: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:84: warning: overriding commands for target `obj'
build/linux_mine/makefile:79: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:84: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:79: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:89: warning: overriding commands for target `obj'
build/linux_mine/makefile:84: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:89: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:84: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:94: warning: overriding commands for target `obj'
build/linux_mine/makefile:89: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:94: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:89: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:99: warning: overriding commands for target `obj'
build/linux_mine/makefile:94: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:99: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:94: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:104: warning: overriding commands for target `obj'
build/linux_mine/makefile:99: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:104: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:99: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:109: warning: overriding commands for target `obj'
build/linux_mine/makefile:104: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:109: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:104: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:114: warning: overriding commands for target `obj'
build/linux_mine/makefile:109: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:114: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:109: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:119: warning: overriding commands for target `obj'
build/linux_mine/makefile:114: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:119: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:114: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:124: warning: overriding commands for target `obj'
build/linux_mine/makefile:119: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:124: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:119: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:129: warning: overriding commands for target `obj'
build/linux_mine/makefile:124: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:129: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:124: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:134: warning: overriding commands for target `obj'
build/linux_mine/makefile:129: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:134: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:129: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:139: warning: overriding commands for target `obj'
build/linux_mine/makefile:134: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:139: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:134: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:144: warning: overriding commands for target `obj'
build/linux_mine/makefile:139: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:144: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:139: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:149: warning: overriding commands for target `obj'
build/linux_mine/makefile:144: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:149: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:144: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:154: warning: overriding commands for target `obj'
build/linux_mine/makefile:149: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:154: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:149: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:159: warning: overriding commands for target `obj'
build/linux_mine/makefile:154: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:159: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:154: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:164: warning: overriding commands for target `obj'
build/linux_mine/makefile:159: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:164: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:159: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:169: warning: overriding commands for target `obj'
build/linux_mine/makefile:164: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:169: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:164: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:174: warning: overriding commands for target `obj'
build/linux_mine/makefile:169: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:174: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:169: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:179: warning: overriding commands for target `obj'
build/linux_mine/makefile:174: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:179: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:174: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:184: warning: overriding commands for target `obj'
build/linux_mine/makefile:179: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:184: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:179: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:189: warning: overriding commands for target `obj'
build/linux_mine/makefile:184: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:189: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:184: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:194: warning: overriding commands for target `obj'
build/linux_mine/makefile:189: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:194: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:189: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:199: warning: overriding commands for target `obj'
build/linux_mine/makefile:194: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:199: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:194: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:204: warning: overriding commands for target `obj'
build/linux_mine/makefile:199: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:204: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:199: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:209: warning: overriding commands for target `obj'
build/linux_mine/makefile:204: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:209: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:204: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:214: warning: overriding commands for target `obj'
build/linux_mine/makefile:209: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:214: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:209: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:219: warning: overriding commands for target `obj'
build/linux_mine/makefile:214: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:219: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:214: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:224: warning: overriding commands for target `obj'
build/linux_mine/makefile:219: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:224: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:219: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:229: warning: overriding commands for target `obj'
build/linux_mine/makefile:224: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:229: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:224: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:234: warning: overriding commands for target `obj'
build/linux_mine/makefile:229: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:234: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:229: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:239: warning: overriding commands for target `obj'
build/linux_mine/makefile:234: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:239: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:234: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:244: warning: overriding commands for target `obj'
build/linux_mine/makefile:239: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:244: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:239: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:249: warning: overriding commands for target `obj'
build/linux_mine/makefile:244: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:249: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:244: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:254: warning: overriding commands for target `obj'
build/linux_mine/makefile:249: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:254: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:249: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:259: warning: overriding commands for target `obj'
build/linux_mine/makefile:254: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:259: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:254: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:264: warning: overriding commands for target `obj'
build/linux_mine/makefile:259: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:264: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:259: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:269: warning: overriding commands for target `obj'
build/linux_mine/makefile:264: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:269: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:264: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:274: warning: overriding commands for target `obj'
build/linux_mine/makefile:269: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:274: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:269: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:279: warning: overriding commands for target `obj'
build/linux_mine/makefile:274: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:279: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:274: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:284: warning: overriding commands for target `obj'
build/linux_mine/makefile:279: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:284: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:279: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:289: warning: overriding commands for target `obj'
build/linux_mine/makefile:284: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:289: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:284: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:294: warning: overriding commands for target `obj'
build/linux_mine/makefile:289: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:294: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:289: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:299: warning: overriding commands for target `obj'
build/linux_mine/makefile:294: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:299: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:294: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:304: warning: overriding commands for target `obj'
build/linux_mine/makefile:299: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:304: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:299: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:309: warning: overriding commands for target `obj'
build/linux_mine/makefile:304: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:309: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:304: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:314: warning: overriding commands for target `obj'
build/linux_mine/makefile:309: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:314: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:309: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:319: warning: overriding commands for target `obj'
build/linux_mine/makefile:314: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:319: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:314: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:324: warning: overriding commands for target `obj'
build/linux_mine/makefile:319: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:324: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:319: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:329: warning: overriding commands for target `obj'
build/linux_mine/makefile:324: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:329: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:324: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:334: warning: overriding commands for target `obj'
build/linux_mine/makefile:329: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:334: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:329: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:339: warning: overriding commands for target `obj'
build/linux_mine/makefile:334: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:339: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:334: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:344: warning: overriding commands for target `obj'
build/linux_mine/makefile:339: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:344: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:339: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:349: warning: overriding commands for target `obj'
build/linux_mine/makefile:344: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:349: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:344: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:354: warning: overriding commands for target `obj'
build/linux_mine/makefile:349: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:354: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:349: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:359: warning: overriding commands for target `obj'
build/linux_mine/makefile:354: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:359: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:354: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:364: warning: overriding commands for target `obj'
build/linux_mine/makefile:359: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:364: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:359: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:369: warning: overriding commands for target `obj'
build/linux_mine/makefile:364: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:369: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:364: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:374: warning: overriding commands for target `obj'
build/linux_mine/makefile:369: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:374: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:369: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:378: warning: overriding commands for target `obj'
build/linux_mine/makefile:374: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:378: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:374: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:382: warning: overriding commands for target `obj'
build/linux_mine/makefile:378: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:382: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:378: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:386: warning: overriding commands for target `obj'
build/linux_mine/makefile:382: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:386: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:382: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:390: warning: overriding commands for target `obj'
build/linux_mine/makefile:386: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:390: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:386: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:394: warning: overriding commands for target `obj'
build/linux_mine/makefile:390: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:394: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:390: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:398: warning: overriding commands for target `obj'
build/linux_mine/makefile:394: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:398: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:394: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:402: warning: overriding commands for target `obj'
build/linux_mine/makefile:398: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:402: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:398: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:406: warning: overriding commands for target `obj'
build/linux_mine/makefile:402: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:406: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:402: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:410: warning: overriding commands for target `obj'
build/linux_mine/makefile:406: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:410: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:406: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:414: warning: overriding commands for target `obj'
build/linux_mine/makefile:410: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:414: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:410: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:418: warning: overriding commands for target `obj'
build/linux_mine/makefile:414: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:418: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:414: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:422: warning: overriding commands for target `obj'
build/linux_mine/makefile:418: warning: ignoring old commands for target
`obj'
build/linux_mine/makefile:422: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:418: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:500: warning: overriding commands for target
`lib/'
config/std.mk:52: warning: ignoring old commands for target `lib/'
build/linux_mine/makefile:500: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:422: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:504: warning: overriding commands for target
`bin/'
config/std.mk:47: warning: ignoring old commands for target `bin/'
build/linux_mine/makefile:504: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:500: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:510: warning: overriding commands for target
`bin/'
build/linux_mine/makefile:504: warning: ignoring old commands for target
`bin/'
build/linux_mine/makefile:510: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:504: warning: ignoring old commands for target
`linux_mine'
build/linux_mine/makefile:516: warning: overriding commands for target
`bin/'
build/linux_mine/makefile:510: warning: ignoring old commands for target
`bin/'
build/linux_mine/makefile:516: warning: overriding commands for target
`linux_mine'
build/linux_mine/makefile:510: warning: ignoring old commands for target
`linux_mine'
rm -rf  lib/ linux_mine/ *
rm -rf  obj/ linux_mine/ *
rm -rf  bin/ linux_mine/ *
rm -rf  lib/ linux_mine/ *.*
rm -rf  obj/ linux_mine/ *.*
rm -rf  bin/ linux_mine/ *.*
rm -rf  build/ linux_mine/ taucs_config_tests.h
rmdir obj/ linux_mine/
rmdir: failed to remove `obj/': No such file or directory
rmdir: failed to remove `linux_mine/': No such file or directory
make: [clean] Error 1 (ignored)
rmdir bin/ linux_mine/
rmdir: failed to remove `bin/': No such file or directory
rmdir: failed to remove `linux_mine/': No such file or directory
make: [clean] Error 1 (ignored)
rmdir lib/ linux_mine/
rmdir: failed to remove `lib/': No such file or directory
rmdir: failed to remove `linux_mine/': No such file or directory
make: [clean] Error 1 (ignored)
/////////////////////////////////////////////////////////////////////////////////
and my taucs_full become empty.

--
View this message in context: 
http://cgal-discuss.949826.n4.nabble.com/Taucs-installation-problem-tp3027923p3823547.html
Sent from the cgal-discuss mailing list archive at Nabble.com.