juvix icon indicating copy to clipboard operation
juvix copied to clipboard

Put the standard library under a global directory by default

Open janmasrovira opened this issue 1 year ago • 2 comments

The projects should reuse some instance of the standard library by default instead of having its own copy.

We can use defaultStdlib identifier in the Package.juvix file to refer to the global stdlib instead of creating a new copy of the stdlib in the project's juvix-build directory.

janmasrovira avatar Apr 11 '23 10:04 janmasrovira