diff options
Diffstat (limited to 'Build')
| -rw-r--r-- | Build/source/README | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/README b/Build/source/README index 628c49cf0aa..a759329c190 100644 --- a/Build/source/README +++ b/Build/source/README @@ -112,6 +112,5 @@ GNU Make 3.81 - compiling of texk/web2c/pdftexdir/writezip.c is broken and triggers a compiler error with the above gcc. Disabling optimization -O2 using Build --debug ... resolved this problem. - - compilation of clisp needs hand adding -lavcall -lcallback -ltrampoline - -lvacall after the -lsigsegv + - compilation of clisp needs --disable-mmap - asy compilation with --disable-gsl && make |