search

tricktron / frege-gradle-plugin

Gradle plugin for compiling Frege projects
2 stars 1 forks source link

ReplFrege Command Always Compiles Every Frege Source File #18

Closed tricktron closed 2 years ago

tricktron commented 2 years ago

Currently, the replFrege takes care of the dependencies by compiling all source files except the one specified by replFrege.

This means, always all source Files get compiled although they are not a dependency of the specified replSource file, which is suboptimal.

I only want the dependencies of the specified replSource file on the classpath and not all source files. Compiling all source files may take a long time in a big project.

tricktron commented 2 years ago

I should simplify the replFregecommand again. Just compile all the dependencies and the current file that we want to load into the repl. If shadowing is a problem, we will have another look on how to solve that.