Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Scaffold / Basic Dev Environment #7

Merged
merged 4 commits into from
Sep 4, 2024
Merged

Scaffold / Basic Dev Environment #7

merged 4 commits into from
Sep 4, 2024

Conversation

gnumonik
Copy link
Collaborator

Description of the change

DO NOT MERGE THIS - PRIMITIVE SCAFFOLD/DEV ENVIRONMENT SETUP

This PR does a few things that should enable a basic development environment and provide a sandbox for experimentation:

  • Modifies cabal.project to provide plutus-core via CHaP
  • Adds a shell.nix which supplies system libraries, GHC, HLS, Cabal (required to build the project)
  • Adds a uplc codegen target option to purs compile. E.g. purs compile -g uplc
  • Adds a placeholder Laguage.PureScript.CodeGen.UPLC module & placeholder moduleToUPLC function
  • Slightly modifies the build pipeline to invoke moduleToUPLC and print the result to the console

The idea is that someone who wants to play around can fill in the moduleToUPLC function in Language.PureScript.CodeGen.UPLC and inspect the results. Eventually we'll want better scaffolding, but this is enough to start playing around.


Checklist:

  • Added a file to CHANGELOG.d for this PR (see CHANGELOG.d/README.md)
  • Added myself to CONTRIBUTORS.md (if this is my first contribution)
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation
  • Added a test for the contribution (if applicable)

…HaP, added basic nix shell with build deps & locale config, placeholder UPLC codegen module & functions. You almost certainly need the hie.yaml and .envrc to work on this so I committed those intentionally.
@kozross kozross merged commit 99c51cb into master Sep 4, 2024
1 of 7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants