==> Making package: open-cobol 0.31-1 (Tue Mar 20 13:03:45 CLT 2007)
==> Checking Runtime Dependencies...
==> Checking Buildtime Dependencies...
==> Retrieving Sources...
==> Using local copy of open-cobol-0.31.tar.gz
==> Validating source files with MD5sums
open-cobol-0.31.tar.gz ... Passed
==> Extracting Sources...
==> tar --use-compress-program=gzip -xf open-cobol-0.31.tar.gz
==> Starting build()...
checking for a BSD-compatible install... /bin/install -c
checking whether build environment is sane... yes
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking for gcc... gcc
checking for style of include used by make... GNU
checking for gcc... gcc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables...
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ANSI C... none needed
checking dependency style of gcc... gcc3
checking for getopt_long_only... yes
checking for regcomp in -lregex... no
checking how to run the C preprocessor... gcc -E
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking for dbopen... no
checking gmp.h usability... yes
checking gmp.h presence... yes
checking for gmp.h... yes
checking for __gmp_rand in -lgmp... no
configure: error: GMP 3 or later is required
make: *** No targets specified and no makefile found. Stop.
==> ERROR: Build Failed. Aborting...
Error: Makepkg was unable to create or install the package.
### this happend trying to build open-cobol package, i already have gmp installed on the system:
$ pacman -Q gmp
gmp 4.2.1-1
## what i should do?