Skip to content

Commit

Permalink
Fix typo in INSTALL.md
Browse files Browse the repository at this point in the history
  • Loading branch information
james-d-mitchell committed May 10, 2024
1 parent 584b541 commit 421dea5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion INSTALL.md
Original file line number Diff line number Diff line change
Expand Up @@ -252,7 +252,7 @@ it will fallback to compiling its own version of GMP.
You can force GAP to build its own copy of GMP by passing `--with-gmp=builtin`.
Finally, you pass a prefix path where GAP should search for a copy of GMP;
i.e., `--with-gmp=PREFIX` instructs GAP to search for the header file `gmp.h`
in `PREFIX/includes`, and the library itself in `PREFIX/lib`.
in `PREFIX/include`, and the library itself in `PREFIX/lib`.

For historical reasons, you may also pass `--with-gmp=system`, which is
simply ignored by GAP (i.e., the default behavior described above is used).
Expand Down

0 comments on commit 421dea5

Please sign in to comment.