scripts/see-deps
author ladanyi
Sat, 25 Aug 2007 10:12:03 +0000
changeset 2465 df09310da558
parent 2169 9f71586a3f74
permissions -rwxr-xr-x
Consider the CPXMIP_OPTIMAL_TOL status as OPTIMAL too.
     1 #!/bin/bash
     2 
     3 echo '#include<'$1'>' >seedeps_tmp.cc
     4 gcc -MM -I. -I.. -I../.. $2 seedeps_tmp.cc|tr ':' ' '|tr '\' ' '|tr ' ' '\n'|
     5 egrep -v '^$'|egrep -v '.o$'|egrep -v '.cc$'|grep -v '^'$1'$'|sort
     6 rm seedeps_tmp.cc