ghc/rts/gmp/mpz/configure.in

   1 # This file is a shell script fragment that supplies the information
   2 # necessary for a configure script to process the program in
   3 # this directory.  For more information, look at ../configure.
   4
   5 configdirs=tests
   6 srctrigger=add_ui.c
   7 srcname="GNU Multi-Precision library/mpz"
   8
   9 # per-host:
  10
  11 # per-target:
  12