#!/bin/csh -f

# If libraries.install/bin/gtk-config exists, we use our private
# gnu libs. The includes for non-gtk libs are in the same place
# as gtk, so we don't so anything special for them.

# If libraries.install/bin/gtk-config exists the args to this 
# give the locations of system wide libraries (from the _DEF file)

if (-x libraries.install/bin/gtk-config) then
   libraries.install/bin/gtk-config --cflags
else
   echo -n $*
   echo -n " "
   gtk-config --cflags
endif