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.

Sign up for GitHub

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

Update juvix compile command for tests #95

Merged
merged 2 commits into from
Apr 16, 2024
Merged

Update juvix compile command for tests #95

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
894737e
Update compile command for tests
paulcadman Apr 15, 2024
e04424e
Update test package lockfile
paulcadman Apr 15, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion test/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ all: test

build/Test: $(shell find ../ -name "*.juvix") $(wildcard deps/**/*.juvix) Test.juvix
@mkdir -p build
juvix compile -o build/Test Test.juvix
juvix compile native -o build/Test Test.juvix

.PHONY: test
test: build/Test
Expand Down
8 changes: 4 additions & 4 deletions test/juvix.lock.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,18 +1,18 @@
# This file was autogenerated by Juvix version 0.5.4.
# This file was autogenerated by Juvix version 0.6.1.
# Do not edit this file manually.

version: 2
checksum: 2f561eaa260dfb905209f9d9b442c88f3ed9b4d2952185270e377ce0baa818dc
checksum: 5db5ab8aab6fa95f39544dd18cb95ae8a80d88ae261add7801926ac96f7955e6
dependencies:
- path: ../
dependencies: []
- git:
name: anoma_juvix-quickcheck
ref: 37ddfcf56daa6220158aa840a6ae2eb9fb62ddfc
ref: d9696bb0c038e12df4a7b736a4030b6940011404
url: https://github.com/anoma/juvix-quickcheck
dependencies:
- git:
name: anoma_juvix-stdlib
ref: f68b0614ad695eaa13ead42f3466e0a78219f826
ref: 27f54ef11c3b21cea18c6b00c54b1d4f3b0cb9f8
url: https://github.com/anoma/juvix-stdlib
dependencies: []
Loading