Changeset 7de2affc


Ignore:
Timestamp:
Jun 25, 2021, 1:08:36 PM (11 months ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr
Children:
22a4292
Parents:
44856ed
Message:

Small corrections to INSTALL script

File:
1 edited

Legend:

Unmodified
Added
Removed
  • INSTALL

    r44856ed r7de2affc  
    66make, the system is built by entering the commands:
    77
    8 For devs using the root git:
     8For devs using the maintainer's git:
    99
    10   ./autogen.sh
     10        ./autogen.sh
    1111        ./configure
    1212        make
    1313        make install
    1414
    15 For users using the distributed tarball:
     15For users using the distributed tarball / github:
    1616
    1717        ./configure
    1818        make
     19        make check
    1920        make install
    2021
Note: See TracChangeset for help on using the changeset viewer.