Admin/polyml/README
changeset 73668 5e12dad8d09b
parent 73643 9b4579e5bced
child 74635 b179891dd357
equal deleted inserted replaced
73667:442460fba2a4 73668:5e12dad8d09b
    35 libgmp properly from sources works as follows (library headers and binaries
    35 libgmp properly from sources works as follows (library headers and binaries
    36 will be placed in /usr/local).
    36 will be placed in /usr/local).
    37 
    37 
    38 * Download:
    38 * Download:
    39 
    39 
    40   $ curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf -
    40   $ curl https://gmplib.org/download/gmp/gmp-6.2.1.tar.bz2 | tar xjf -
    41   $ cd gmp-6.1.2
    41   $ cd gmp-6.2.1
    42 
    42 
    43 * build:
    43 * build:
    44 
    44 
    45   $ make distclean
    45   $ make distclean
       
    46 
       
    47   #Intel
    46   $ ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
    48   $ ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
       
    49 
       
    50   #ARM
       
    51   $ ./configure --enable-cxx --build=aarch64-apple-darwin"$(uname -r)"
       
    52 
    47   $ make && make check
    53   $ make && make check
    48   $ sudo make install
    54   $ sudo make install
    49 
    55 
    50 
    56 
    51         Makarius
    57         Makarius
    52         07-May-2021
    58         11-May-2021