Custom URL for the int-native version of GHC 9.12.2 is ignored when instaling through ghcup on Windows

[oddron]

Windows 11 24H2

The following command fails to install the int-native version of GHC 9.12.2:
ghcup install ghc -u "https://downloads.haskell.org/ghc/9.12.2/ghc-9.12.2-x86_64-unknown-mingw32-int_native.tar.xz" 9.12.2
After running this, I used ghcup tui to set version 9.12.2 as the default. I checked using ghc --version and ghc --info, and I found that ghcup ignored the url that I specified. It installed the GMP version of 9.12.2 instead.

Workaround:

1. Manually download the int-native version ghc-9.12.2-x86_64-unknown-mingw32-int_native.tar.xz
2. Run ghcup in offline mode, and specify a custom version name:
   ghcup --offline --no-guess-version install ghc -u "file:///C:/Users/Ronald/Downloads/ghc-9.12.2-x86_64-unknown-mingw32-int_native.tar.xz" int-native-9.12.2
3. Use ghcup tui to set this version as the default.
   Note that the "S" flag does not appear in ghcup tui after setting this version as the default, but I checked using ghc --version and ghc --info to verify that the int-native version of 9.12.2 was successfully installed and set as the default.

PS C:\Users\Ronald> ghc --version
The Glorious Glasgow Haskell Compilation System, version 9.12.2
PS C:\Users\Ronald> ghc --info | Select-String -Pattern "C compiler flags"
 ,("C compiler flags","--target=x86_64-unknown-windows-gnu --rtlib=compiler-rt -D_UCRT
-IC:\\ghcup\\ghc\\int-native-9.12.2\\lib/../mingw//include -Qunused-arguments")

[hasufell]

The image you attached suggests gou ran a different command than what you wrote in your descdiption.

You ran something like

ghcup install ghc -u "https://downloads.haskell.org/ghc/9.12.2/ghc-9.12.2-x86_64-unknown-mingw32-int_native.tar.xz" int-native-9.12.2

Which may make ghcup think this is a cross compiler.

Don't use prefix strings for the version.

[oddron]

The commands I quoted came from the history in PowerShell. I was advised to file an issue after discussing my situation on the functional programing discord. I do not have a reliable way to "go back" to a clean system to try to reproduce the problem. In addition, Windows Sandbox is broken on Windows 11 24H2 (I tried to use it before filing the issue).

My recollection is that nothing worked until I added the prefix: "int-native-9.12.2" succeeds but "9.12.2" gets overridden.

[hasufell]

You definitely didn't run the commands in your description. GHCup would warn you and require to use --force to reinstall 9.12.2. I tried to reproduce and here is the result:

As you can see, it downloads and installs the correct tarball.

I also double checked the ghc.exe checksum. It's definitely from the int-native tarball.

I'm also confused how you supposedly figured out it's int-native via ghc --version or ghc --info. Those don't give you that information.

[oddron]

I'm also confused how you supposedly figured out it's int-native via ghc --version or ghc --info. Those don't give you that information.

What specific Windows 11 commands should I run to determine whether I have successfully installed the int-native version vs the gmp version of GHC?

[hasufell]

I'm actually not sure. I checked the checksum of the executable after unpacking manually.