| 20 | | [ --with-ntl=<path>|yes|no |
| 21 | | Use NTL library. |
| 22 | | If argument is no, you do not have the library installed on your machine (set as default). |
| 23 | | If argument is yes or <empty> that means the library is reachable with the standard |
| 24 | | search path (/usr or /usr/local). |
| 25 | | Otherwise you give the <path> to the directory which contain the library. |
| | 20 | [ --with-ntl=<path>|yes|no Use NTL library. If argument is no, you do not have |
| | 21 | the library installed on your machine (set as |
| | 22 | default). If argument is yes or <empty> that means |
| | 23 | the library is reachable with the standard search |
| | 24 | path (/usr or /usr/local). Otherwise you give the |
| | 25 | <path> to the directory which contain the library. |
