Changeset 3cadd0 in git


Ignore:
Timestamp:
Sep 2, 2013, 7:10:45 PM (10 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
246bbba7f51d8c867efe9455dd4f01c8773e3daf
Parents:
9501beec95047fabf7e8228209b1d4eed61b1c29
Message:
Flint Fix
File:
1 edited

Legend:

Unmodified
Added
Removed

  • m4/flint-check.m4

    r9501be r3cadd0  
    5151
    5252#       if test "x$FLINT_HOME" != "x/usr"; then
    53                 FLINT_CFLAGS="-I${FLINT_HOME}/include/flint"
     53                FLINT_CFLAGS="-I${FLINT_HOME}/include/"
    5454                FLINT_LIBS="-L${FLINT_HOME}/lib -lflint -lmpfr -lmpir"
    5555#       else
    … …  
    6161
    6262        AC_TRY_LINK(
    63         [#include <fmpz.h>],
     63        [#include <flint/fmpz.h>],
    6464        [fmpz_t a; fmpz_init (a);],
    6565        [
    6666        AC_TRY_RUN(
    67         [#include <flint.h>
     67        [#include <flint/flint.h>
    6868        int main () { if ((int) version[0] < 2) return -1; else return 0; }     
    6969        ],[
Note: See TracChangeset for help on using the changeset viewer.