Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

build: Fix larlpop dependency #505

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Conversation

jtojnar
Copy link

@jtojnar jtojnar commented Apr 21, 2023

The branch we were pulling larlpop from has been rebased and the commit disappeared causing the build to fail:

error: failed to get `lalrpop` as a dependency of package `fathom v0.1.0 (/home/jtojnar/Projects/fathom/fathom)`

Caused by:
  failed to load source for dependency `lalrpop`

Caused by:
  Unable to update https://github.com/kmeakin/lalrpop?branch=raw-identifiers#a945c2a6

Caused by:
  object not found - no match for id (a945c2a68032f833142bdf6874cf280270c0ec8a); class=Odb (9); code=NotFound (-3)

Fortunately, the branch has been merged and is available in 0.19.9 release.

The branch we were pulling larlpop from has been rebased and the commit disappeared causing the build to fail:

	error: failed to get `lalrpop` as a dependency of package `fathom v0.1.0 (/home/jtojnar/Projects/fathom/fathom)`

	Caused by:
	  failed to load source for dependency `lalrpop`

	Caused by:
	  Unable to update https://github.com/kmeakin/lalrpop?branch=raw-identifiers#a945c2a6

	Caused by:
	  object not found - no match for id (a945c2a68032f833142bdf6874cf280270c0ec8a); class=Odb (9); code=NotFound (-3)

Fortunately, the branch has been merged and is available in 0.19.9 release.
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant