summary refs log tree commit diff stats
path: root/results/classifier/zero-shot/105/mistranslation/1431084
blob: 611e430745b34654469372e5f52aa022ed032f40 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
mistranslation: 0.996
graphic: 0.895
other: 0.887
semantic: 0.879
device: 0.877
instruction: 0.859
vnc: 0.714
network: 0.690
boot: 0.638
socket: 0.545
KVM: 0.475
assembly: 0.198

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.