Skip to content

Issues: Frege/frege-gradle-plugin

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

21 Open 16 Closed
21 Open 16 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

NoSuchMethodError on gradle 7.1
#43 opened Aug 19, 2021 by joprice
with gradle 4.5, quickcheck and repl tasks need update
#42 opened Apr 14, 2018 by Dierk
1
gradle 4.1: frege-gradle-example does not pass :java-frege:compileJava
#41 opened Aug 26, 2017 by hiukkanen
3
Document how to fix "compiled for target 1.7" error
#40 opened Sep 30, 2016 by manuel-mauky
1
build failed when no Test file was created
#39 opened Sep 30, 2016 by manuel-mauky
1
compileFrege task doesn't execute Frege compiler
#38 opened Sep 23, 2016 by russel
@breskeby
5
Project doesn't compile with Gradle 2.12
#36 opened Apr 17, 2016 by donkike
1
commons-io missing from fregeDoc task (version 0.6)
#31 opened Jan 7, 2016 by januslynd
Java options?
#24 opened Oct 21, 2015 by Ingo60
4
Replace JavaExecAction with JavaExec
#23 opened Sep 25, 2015 by mperry
Source directories are not detected by Netbeans
#22 opened Sep 20, 2015 by januslynd
1
Find a way to upload snapshots for consumption
#21 opened Sep 17, 2015 by mperry
3
Include frege repl with plugin
#20 opened Sep 17, 2015 by mperry
Include native gen with plugin
#19 opened Sep 17, 2015 by mperry
5
Avoid making external JVM call for builds
#18 opened Sep 15, 2015 by mperry
5
Update to use Frege 3.22.524
#14 opened Jul 30, 2015 by mperry
1
Gradle plugin 0.3 does not seem available from Jitpack
#12 opened Jul 15, 2015 by mperry
8
expose presentation options enhancement
#5 opened Feb 15, 2015 by Dierk 1.0
expose all diagnostic options enhancement
#4 opened Feb 15, 2015 by Dierk 1.0
2
expose -O enhancement
#3 opened Feb 15, 2015 by Dierk
look how to expose the -fp flag enhancement
#2 opened Feb 15, 2015 by Dierk 1.0
2
ProTip! Add no:assignee to see everything that’s not assigned.