Documentation

Lake.Config.Dependency

inductive Lake.Source :

The src of a Dependency.

In Lake, dependency sources currently come into flavors:

  • Local paths relative to the package's directory.
  • Remote git repositories that are download from a given url into the workspace's packagesDir.
Instances For

    A Dependency of a package.

    • name : Lake.Name

      A Name for the dependency. The names of a package's dependencies cannot clash.

    • The source of a dependency. See the documentation of Source for more information.

    • Arguments to pass to the dependency's package configuration.

    Instances For
      Equations