Skip to content

fix: move .camltac directory next to currently compiling files - #31

Merged
dhalilov merged 1 commit into
epfl-systemf:mainfrom
dhalilov:move-camltac-directory
Sep 14, 2026
Merged

dhalilov merged 1 commit into
epfl-systemf:mainfrom
dhalilov:move-camltac-directory

Conversation

@dhalilov

Copy link
Copy Markdown
Member

This avoids using the current working directory, which may be too far from the file we're compiling.

@dhalilov dhalilov added this to the 0.1 milestone Sep 14, 2026
@dhalilov dhalilov added the enhancement New feature or request label Sep 14, 2026
@dhalilov
dhalilov merged commit f825345 into epfl-systemf:main Sep 14, 2026
6 checks passed
@dhalilov
dhalilov deleted the move-camltac-directory branch September 14, 2026 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant