Skip to content

dist/setup-config's header should mention $arch and $os #1248

@23Skidoo

Description

@23Skidoo

dist/setup-config has the following header:

Saved package config for issue1244-1.0 written by Cabal-1.17.0 using ghc-7.4

This information is used for checking whether we should reconfigure. Now that we support cross-compilation, we should probably also save $arch and $os there.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions