Makefile.config

   1 # partain: probably not the right thing yet
   2
   3 all: configure
   4
   5 configure: configure.in
   6         rm -f configure.new
   7         autoconf configure.in > configure.new \
   8                 || ( rm -f configure.new; exit 1 )
   9         rm -f configure
  10         mv configure.new configure
  11         chmod +x configure
  12         chmod -w configure
  13         rm -f configure.new
  14
  15 CONFIG_H_IN = ghc/includes/config.h.in
  16
  17 config.h.in: configure.in
  18         rm -f $(CONFIG_H_IN)
  19         autoheader configure.in > $(CONFIG_H_IN) \
  20                 || ( rm -f $(CONFIG_H_IN); exit 1 )
  21
  22 # do something about autoheader
  23 # do something about ghc-vs-nofib configure scripts