search

UU-ComputerScience / uhc

136 stars 21 forks source link

Missing GHC version used for building UHC in the `--version` option #80

Closed asr closed 8 years ago

asr commented 8 years ago

The information given by the --version option is for example

$ uhc --version
ehc-1.1.9.4, revision @, timestamp 20160521 -0500 020551

I miss the GHC version used for building UHC in the above information, for example

$ uhc --version
ehc-1.1.9.4, revision @, timestamp 20160521 -0500 020551 compiled with GHC 8.0.1
asr commented 8 years ago

I realised the information requested isn't necessary. Sorry for the spam.