diff options
Diffstat (limited to 'results/classifier/108/other/1431084')
| -rw-r--r-- | results/classifier/108/other/1431084 | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/results/classifier/108/other/1431084 b/results/classifier/108/other/1431084 new file mode 100644 index 000000000..87dd7d5de --- /dev/null +++ b/results/classifier/108/other/1431084 @@ -0,0 +1,30 @@ +graphic: 0.895 +other: 0.887 +semantic: 0.879 +device: 0.877 +vnc: 0.714 +PID: 0.690 +network: 0.690 +files: 0.689 +boot: 0.638 +performance: 0.619 +debug: 0.597 +socket: 0.545 +KVM: 0.475 +permissions: 0.458 + +improve configure error message "ERROR: User requested feature nptl" + +Running `./configure` on Ubuntu 14.10 amd64 with Linux 3.19.1 causes the error + + ERROR: User requested feature nptl + configure was not able to find it. + Install glibc and linux kernel headers. + +Both linux kernel headers and `libglib2.0-dev` are installed in my case, so the error message definitely misses a point and is at least confusing and should either omit the hint if the recommended dependencies are already installed or - better - give one that fixes the issue. + +experienced with git commit d598911b6f5e7bf7bafb63b8e1d074729e94aca7 + +You say "Both linux kernel headers and `libglib2.0-dev` are installed", but the error message says "Install glibc and linux kernel headers". "glibc" is not "libglib". I suspect you didn't have what on Ubuntu is the "libc6-dev" package. Unfortunately it's difficult to be specific in these error messages, because different distros call their dev packages by different names. + + |