forked fromfsharp/fsharp
- Notifications
You must be signed in to change notification settings - Fork0
Commitd55062e
committed
configure: improve the prefix warning, and simplify some bits
It's better to compare prefixes than to check if $prefix/bin/mono binaryexists, because in the case of being inside a parallel mono environment[1],it would warn the user about choosing /usr prefix if mono's prefix insidethis environment is not /usr (i.e.: /opt/mono).Also, cleanup some variables:* CANON_MONODIR not needed, as it's actually just Mono's prefix.* No need to check both Mono's libdir and prefix via pkgconfig, asthese two variables have been both there in Mono's PC file for years [2],and anyway the existance of $MONODIR/2.0/mscorlib.dll is checked later,just in case.[1]http://www.mono-project.com/Parallel_Mono_Environments[2]https://github.com/mono/mono/commits/master/data/mono.pc.in1 parent19507b9 commitd55062e
1 file changed
+6
-10
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
53 | 53 | | |
54 | 54 | | |
55 | 55 | | |
| 56 | + | |
| 57 | + | |
56 | 58 | | |
57 | | - | |
58 | | - | |
59 | | - | |
60 | | - | |
| 59 | + | |
61 | 60 | | |
62 | 61 | | |
63 | 62 | | |
| |||
104 | 103 | | |
105 | 104 | | |
106 | 105 | | |
107 | | - | |
108 | | - | |
109 | | - | |
110 | | - | |
111 | | - | |
112 | | - | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
113 | 109 | | |
0 commit comments
Comments
(0)