==> 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?