Code

Develop how to fetch packages#379

Code

Merged

gfngfn merged 11 commits intodev-0-1-0-package-systemgfngfn/SATySFi:dev-0-1-0-package-systemfrom dev-0-1-0-package-fetchgfngfn/SATySFi:dev-0-1-0-package-fetchCopy head branch name to clipboardDec 5, 2022

+441-163

Commits

Commits on Nov 18, 2022

• extend the format of registry configs with sections about how to fetch sources

  gfngfn

  committed
  4ea8383

  Copy full SHA for 4ea8383

• extend 'package_solution' with 'locked_source'

  gfngfn

  committed
  6335309

  Copy full SHA for 6335309

Commits on Nov 19, 2022

• introduce 'implementation_spec'

  gfngfn

  committed
  f0bea39

  Copy full SHA for f0bea39

• introduce 'primary_root_dir' for fetching package implementations

  gfngfn

  committed
  14d79ca

  Copy full SHA for 14d79ca

• update expected lock files

  gfngfn

  committed
  9613c8d

  Copy full SHA for 9613c8d

Commits on Nov 21, 2022

• update CI about 'diff' on 'macos-latest'

  gfngfn

  committed
  55a9ba6

  Copy full SHA for 55a9ba6

Commits on Nov 22, 2022

• add 'LockFetcher'

  gfngfn

  committed
  bcdbf10

  Copy full SHA for bcdbf10

• develop how to extract tarballs of locked packages

  gfngfn

  committed
  7644fb6

  Copy full SHA for 7644fb6

• small fixes

  gfngfn

  committed
  30c4c8c

  Copy full SHA for 30c4c8c

Commits on Dec 5, 2022

• add an interface file to 'LockFetcher'

  gfngfn

  committed
  2bea99c

  Copy full SHA for 2bea99c

• small changes

  gfngfn

  committed
  5291900

  Copy full SHA for 5291900