• Michael Gratton's avatar
    build: Update how build profiles are handled · 23bd2507
    Michael Gratton authored
    Default to development build profile if a `.git` directory exists, else
    error out of build configuration.
    This make `auto` the default build profile and if set and a `.git`
    directory is present default to `development`, else raise an error.
    Add some docs to INSTALL describing build profiles and update how they
    are used in the source to match.