summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--.gitignore25
-rw-r--r--README.adoc7
-rw-r--r--build.gradle31
-rw-r--r--gradle.properties5
-rw-r--r--gradle/sonatype.gradle95
-rw-r--r--gradle/wrapper/gradle-wrapper.jarbin0 -> 49875 bytes
-rw-r--r--gradle/wrapper/gradle-wrapper.properties6
-rwxr-xr-xgradlew164
-rw-r--r--gradlew.bat90
-rw-r--r--src/main/groovy/org/gradle/frege/FregePlugin.groovy18
-rw-r--r--src/main/groovy/org/gradle/frege/FregePluginExtension.groovy11
-rw-r--r--src/main/groovy/org/gradle/frege/FregeTask.groovy108
-rw-r--r--src/main/resources/META-INF/gradle-plugins/frege.properties1
13 files changed, 560 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index ca611cf..4d56716 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,28 @@
+
+# ignore IDEA files
+*.iml
+*.ipr
+*.iws
+.idea
+# ignore eclipse files
+.project
+.classpath
+.settings
+.scala_dependencies
+.externalToolBuilders
+.factorypath
+# ignore others
+out
+src/test/mod-test
+classes
+.cache
+.DS_Store
.gradle
-build/
+.springBeans
+bin
+build
+*.pyc
# Ignore Gradle GUI config
gradle-app.setting
+
diff --git a/README.adoc b/README.adoc
new file mode 100644
index 0000000..b11e1b8
--- /dev/null
+++ b/README.adoc
@@ -0,0 +1,7 @@
+
+= Frege Gradle Plugin
+
+This is an experiment Gradle plugin to compile Frege projects (https://github.com/Frege/frege). It was forked from https://github.com/galderz/gradle-frege-plugin.
+
+See the example project, https://github.com/mperry/gradle-frege-example, for how to use this plugin. The 0.1-SNAPSHOT build has been uploaded to Sonatype.
+
diff --git a/build.gradle b/build.gradle
new file mode 100644
index 0000000..1ff2833
--- /dev/null
+++ b/build.gradle
@@ -0,0 +1,31 @@
+apply plugin: "groovy"
+apply plugin: "maven"
+apply plugin: "signing"
+
+defaultTasks "build"
+
+ext {
+ baseVersion = "0.2"
+ isSnapshot = true
+ snapshotAppendix = "-SNAPSHOT"
+ pluginVersion = baseVersion + (isSnapshot ? snapshotAppendix : "")
+
+ fregeVersion = "3.22.367"
+ fregeClassifier = "-g2737683"
+}
+
+apply from: "gradle/sonatype.gradle"
+
+repositories {
+ mavenCentral()
+}
+
+version = pluginVersion
+group = groupName
+
+dependencies {
+ compile "com.theoryinpractise.frege:frege:$fregeVersion$fregeClassifier"
+ compile gradleApi()
+ compile localGroovy()
+}
+
diff --git a/gradle.properties b/gradle.properties
new file mode 100644
index 0000000..a1e8c9b
--- /dev/null
+++ b/gradle.properties
@@ -0,0 +1,5 @@
+
+signingEnabled = false
+sonatypeUsername = incorrectUsername
+sonatypePassword = incorrectPassword
+
diff --git a/gradle/sonatype.gradle b/gradle/sonatype.gradle
new file mode 100644
index 0000000..528bc04
--- /dev/null
+++ b/gradle/sonatype.gradle
@@ -0,0 +1,95 @@
+
+ext {
+
+ sonatypeBaseUrl = "https://oss.sonatype.org"
+ sonatypeSnapshotUrl = "$sonatypeBaseUrl/content/repositories/snapshots/"
+ sonatypeRepositoryUrl = "$sonatypeBaseUrl/content/groups/public"
+ sonatypeReleaseUrl = "$sonatypeBaseUrl/service/local/staging/deploy/maven2/"
+ sonatypeUploadUrl = isSnapshot ? sonatypeSnapshotUrl : sonatypeReleaseUrl
+
+ projectUrl = "https://github.com/mperry/gradle-frege-plugin"
+ projectName = "GradleFregePlugin"
+ pomProjectName = "GradleFregePlugin"
+ baseJarName = "gradle-frege-plugin"
+
+ groupName = "com.github.mperry.frege"
+ scmUrl = "git://github.com/mperry/gradle-frege-plugin.git"
+ scmGitFile = "scm:git@github.com:mperry/gradle-frege-plugin.git"
+ projectDescription = "Frege gradle plugin"
+
+ licenseName = "The Apache Software License, Version 2.0"
+ licenseUrl = 'http://www.apache.org/licenses/LICENSE-2.0.txt'
+
+ organisation = groupName
+
+ primaryEmail = "frege-programming-language@googlegroups.com"
+
+}
+
+Boolean doSigning() {
+ signingEnabled.trim() == "true"
+}
+
+task javadocJar(type: Jar, dependsOn: "javadoc") {
+ classifier = 'javadoc'
+ from "build/docs/javadoc"
+}
+
+task sourcesJar(type: Jar) {
+ from sourceSets.main.allSource
+ classifier = 'sources'
+}
+
+artifacts {
+ archives jar
+ archives javadocJar
+ archives sourcesJar
+}
+
+signing {
+ required { doSigning() }
+ sign configurations.archives
+}
+
+uploadArchives {
+ enabled = true
+ repositories {
+ mavenDeployer {
+ if (doSigning()) {
+ beforeDeployment { MavenDeployment deployment -> signing.signPom(deployment) }
+ }
+
+ repository(url: sonatypeUploadUrl) {
+ authentication(userName: sonatypeUsername, password: sonatypePassword)
+ }
+ pom {
+ groupId = groupName
+ project {
+ name pomProjectName
+ packaging 'jar'
+ description projectDescription
+ url projectUrl
+ organization {
+ name pomProjectName
+ url projectUrl
+ }
+ scm {
+ url scmUrl
+ }
+ licenses {
+ license {
+ name licenseName
+ url licenseUrl
+ distribution 'repo'
+ }
+ }
+ developers {
+ developer {
+ email primaryEmail
+ }
+ }
+ }
+ }
+ }
+ }
+} \ No newline at end of file
diff --git a/gradle/wrapper/gradle-wrapper.jar b/gradle/wrapper/gradle-wrapper.jar
new file mode 100644
index 0000000..a7634b0
--- /dev/null
+++ b/gradle/wrapper/gradle-wrapper.jar
Binary files differ
diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties
new file mode 100644
index 0000000..07d978b
--- /dev/null
+++ b/gradle/wrapper/gradle-wrapper.properties
@@ -0,0 +1,6 @@
+#Thu Feb 05 21:33:10 EST 2015
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists
+distributionUrl=http\://services.gradle.org/distributions/gradle-2.2.1-all.zip
diff --git a/gradlew b/gradlew
new file mode 100755
index 0000000..91a7e26
--- /dev/null
+++ b/gradlew
@@ -0,0 +1,164 @@
+#!/usr/bin/env bash
+
+##############################################################################
+##
+## Gradle start up script for UN*X
+##
+##############################################################################
+
+# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+DEFAULT_JVM_OPTS=""
+
+APP_NAME="Gradle"
+APP_BASE_NAME=`basename "$0"`
+
+# Use the maximum available, or set MAX_FD != -1 to use that value.
+MAX_FD="maximum"
+
+warn ( ) {
+ echo "$*"
+}
+
+die ( ) {
+ echo
+ echo "$*"
+ echo
+ exit 1
+}
+
+# OS specific support (must be 'true' or 'false').
+cygwin=false
+msys=false
+darwin=false
+case "`uname`" in
+ CYGWIN* )
+ cygwin=true
+ ;;
+ Darwin* )
+ darwin=true
+ ;;
+ MINGW* )
+ msys=true
+ ;;
+esac
+
+# For Cygwin, ensure paths are in UNIX format before anything is touched.
+if $cygwin ; then
+ [ -n "$JAVA_HOME" ] && JAVA_HOME=`cygpath --unix "$JAVA_HOME"`
+fi
+
+# Attempt to set APP_HOME
+# Resolve links: $0 may be a link
+PRG="$0"
+# Need this for relative symlinks.
+while [ -h "$PRG" ] ; do
+ ls=`ls -ld "$PRG"`
+ link=`expr "$ls" : '.*-> \(.*\)$'`
+ if expr "$link" : '/.*' > /dev/null; then
+ PRG="$link"
+ else
+ PRG=`dirname "$PRG"`"/$link"
+ fi
+done
+SAVED="`pwd`"
+cd "`dirname \"$PRG\"`/" >&-
+APP_HOME="`pwd -P`"
+cd "$SAVED" >&-
+
+CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
+
+# Determine the Java command to use to start the JVM.
+if [ -n "$JAVA_HOME" ] ; then
+ if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
+ # IBM's JDK on AIX uses strange locations for the executables
+ JAVACMD="$JAVA_HOME/jre/sh/java"
+ else
+ JAVACMD="$JAVA_HOME/bin/java"
+ fi
+ if [ ! -x "$JAVACMD" ] ; then
+ die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+ fi
+else
+ JAVACMD="java"
+ which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+fi
+
+# Increase the maximum file descriptors if we can.
+if [ "$cygwin" = "false" -a "$darwin" = "false" ] ; then
+ MAX_FD_LIMIT=`ulimit -H -n`
+ if [ $? -eq 0 ] ; then
+ if [ "$MAX_FD" = "maximum" -o "$MAX_FD" = "max" ] ; then
+ MAX_FD="$MAX_FD_LIMIT"
+ fi
+ ulimit -n $MAX_FD
+ if [ $? -ne 0 ] ; then
+ warn "Could not set maximum file descriptor limit: $MAX_FD"
+ fi
+ else
+ warn "Could not query maximum file descriptor limit: $MAX_FD_LIMIT"
+ fi
+fi
+
+# For Darwin, add options to specify how the application appears in the dock
+if $darwin; then
+ GRADLE_OPTS="$GRADLE_OPTS \"-Xdock:name=$APP_NAME\" \"-Xdock:icon=$APP_HOME/media/gradle.icns\""
+fi
+
+# For Cygwin, switch paths to Windows format before running java
+if $cygwin ; then
+ APP_HOME=`cygpath --path --mixed "$APP_HOME"`
+ CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
+
+ # We build the pattern for arguments to be converted via cygpath
+ ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d 2>/dev/null`
+ SEP=""
+ for dir in $ROOTDIRSRAW ; do
+ ROOTDIRS="$ROOTDIRS$SEP$dir"
+ SEP="|"
+ done
+ OURCYGPATTERN="(^($ROOTDIRS))"
+ # Add a user-defined pattern to the cygpath arguments
+ if [ "$GRADLE_CYGPATTERN" != "" ] ; then
+ OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)"
+ fi
+ # Now convert the arguments - kludge to limit ourselves to /bin/sh
+ i=0
+ for arg in "$@" ; do
+ CHECK=`echo "$arg"|egrep -c "$OURCYGPATTERN" -`
+ CHECK2=`echo "$arg"|egrep -c "^-"` ### Determine if an option
+
+ if [ $CHECK -ne 0 ] && [ $CHECK2 -eq 0 ] ; then ### Added a condition
+ eval `echo args$i`=`cygpath --path --ignore --mixed "$arg"`
+ else
+ eval `echo args$i`="\"$arg\""
+ fi
+ i=$((i+1))
+ done
+ case $i in
+ (0) set -- ;;
+ (1) set -- "$args0" ;;
+ (2) set -- "$args0" "$args1" ;;
+ (3) set -- "$args0" "$args1" "$args2" ;;
+ (4) set -- "$args0" "$args1" "$args2" "$args3" ;;
+ (5) set -- "$args0" "$args1" "$args2" "$args3" "$args4" ;;
+ (6) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" ;;
+ (7) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" ;;
+ (8) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" ;;
+ (9) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" "$args8" ;;
+ esac
+fi
+
+# Split up the JVM_OPTS And GRADLE_OPTS values into an array, following the shell quoting and substitution rules
+function splitJvmOpts() {
+ JVM_OPTS=("$@")
+}
+eval splitJvmOpts $DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS
+JVM_OPTS[${#JVM_OPTS[*]}]="-Dorg.gradle.appname=$APP_BASE_NAME"
+
+exec "$JAVACMD" "${JVM_OPTS[@]}" -classpath "$CLASSPATH" org.gradle.wrapper.GradleWrapperMain "$@"
diff --git a/gradlew.bat b/gradlew.bat
new file mode 100644
index 0000000..aec9973
--- /dev/null
+++ b/gradlew.bat
@@ -0,0 +1,90 @@
+@if "%DEBUG%" == "" @echo off
+@rem ##########################################################################
+@rem
+@rem Gradle startup script for Windows
+@rem
+@rem ##########################################################################
+
+@rem Set local scope for the variables with windows NT shell
+if "%OS%"=="Windows_NT" setlocal
+
+@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+set DEFAULT_JVM_OPTS=
+
+set DIRNAME=%~dp0
+if "%DIRNAME%" == "" set DIRNAME=.
+set APP_BASE_NAME=%~n0
+set APP_HOME=%DIRNAME%
+
+@rem Find java.exe
+if defined JAVA_HOME goto findJavaFromJavaHome
+
+set JAVA_EXE=java.exe
+%JAVA_EXE% -version >NUL 2>&1
+if "%ERRORLEVEL%" == "0" goto init
+
+echo.
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:findJavaFromJavaHome
+set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+
+if exist "%JAVA_EXE%" goto init
+
+echo.
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:init
+@rem Get command-line arguments, handling Windowz variants
+
+if not "%OS%" == "Windows_NT" goto win9xME_args
+if "%@eval[2+2]" == "4" goto 4NT_args
+
+:win9xME_args
+@rem Slurp the command line arguments.
+set CMD_LINE_ARGS=
+set _SKIP=2
+
+:win9xME_args_slurp
+if "x%~1" == "x" goto execute
+
+set CMD_LINE_ARGS=%*
+goto execute
+
+:4NT_args
+@rem Get arguments from the 4NT Shell from JP Software
+set CMD_LINE_ARGS=%$
+
+:execute
+@rem Setup the command line
+
+set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
+
+@rem Execute Gradle
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %CMD_LINE_ARGS%
+
+:end
+@rem End local scope for the variables with windows NT shell
+if "%ERRORLEVEL%"=="0" goto mainEnd
+
+:fail
+rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
+rem the _cmd.exe /c_ return code!
+if not "" == "%GRADLE_EXIT_CONSOLE%" exit 1
+exit /b 1
+
+:mainEnd
+if "%OS%"=="Windows_NT" endlocal
+
+:omega
diff --git a/src/main/groovy/org/gradle/frege/FregePlugin.groovy b/src/main/groovy/org/gradle/frege/FregePlugin.groovy
new file mode 100644
index 0000000..a401eb7
--- /dev/null
+++ b/src/main/groovy/org/gradle/frege/FregePlugin.groovy
@@ -0,0 +1,18 @@
+package org.gradle.frege
+
+import org.gradle.api.Plugin
+import org.gradle.api.Project
+
+class FregePlugin implements Plugin<Project> {
+
+ void apply(Project project) {
+ project.apply(plugin: 'base')
+ def e = (FregePluginExtension) project.extensions.create("frege", FregePluginExtension)
+
+ project.task('compileFrege', type: FregeTask, group: 'Build') << {
+
+ }
+ project.tasks.classes.dependsOn("compileFrege")
+ }
+
+}
diff --git a/src/main/groovy/org/gradle/frege/FregePluginExtension.groovy b/src/main/groovy/org/gradle/frege/FregePluginExtension.groovy
new file mode 100644
index 0000000..db81a41
--- /dev/null
+++ b/src/main/groovy/org/gradle/frege/FregePluginExtension.groovy
@@ -0,0 +1,11 @@
+package org.gradle.frege
+
+/**
+ * Created by mperry on 6/02/2015.
+ */
+class FregePluginExtension {
+
+
+ String key1
+
+}
diff --git a/src/main/groovy/org/gradle/frege/FregeTask.groovy b/src/main/groovy/org/gradle/frege/FregeTask.groovy
new file mode 100644
index 0000000..db2726e
--- /dev/null
+++ b/src/main/groovy/org/gradle/frege/FregeTask.groovy
@@ -0,0 +1,108 @@
+package org.gradle.frege
+
+import org.gradle.api.DefaultTask
+import org.gradle.api.GradleException
+import org.gradle.api.InvalidUserDataException
+import org.gradle.api.tasks.*
+import org.gradle.process.internal.DefaultJavaExecAction
+import org.gradle.process.internal.JavaExecAction
+import org.gradle.api.internal.file.FileResolver
+
+class FregeTask extends DefaultTask {
+
+ private static final FREGE_FILE_EXTENSION_PATTERN = ~/.*\.fr?$/
+
+ static String DEFAULT_CLASSES_DIR = "build/classes/main"
+ static String DEFAULT_SRC_DIR = "src/main/frege"
+
+ @Input
+ boolean hints = false
+
+ @Input
+ boolean verbose = false
+
+ @Input
+ boolean inline = false
+
+ @Input
+ boolean make = true
+
+ @Input
+ boolean skipCompile = false
+
+ @Input
+ boolean includeStale
+
+ @Input
+ String extraArgs = ""
+
+ @Input
+ String allArgs = ""
+
+ // TODO: Find default
+ @OutputDirectory
+ File outputDir = new File(project.projectDir, DEFAULT_CLASSES_DIR)
+
+ @TaskAction
+ void executeCompile() {
+ println "Compiling Frege to " + outputDir
+ // access extension configuration values as ${project.frege.key1}
+
+ FileResolver fileResolver = getServices().get(FileResolver.class)
+ JavaExecAction action = new DefaultJavaExecAction(fileResolver)
+ action.setMain("frege.compiler.Main")
+ action.setClasspath(project.files(project.configurations.compile))
+
+ List args = []
+
+ if (allArgs != "") {
+ args = allArgs.split().toList()
+ } else {
+
+ if (hints)
+ args << "-hints"
+ if (inline)
+ args << "-inline"
+ if (make)
+ args << "-make"
+ if (verbose)
+ args << "-v"
+ if (skipCompile)
+ args << "-j"
+
+ args << "-d"
+ args << outputDir
+
+ args = args + extraArgs.split().toList()
+ }
+
+ def dir = project.projectDir
+ println("FregeTask projectDir: $dir")
+ eachFileRecurse(new File(dir, DEFAULT_SRC_DIR)) { File file ->
+ if (file.name =~ FREGE_FILE_EXTENSION_PATTERN) {
+ args << file
+ }
+ }
+
+
+ println("Creating output dir: ${outputDir.absolutePath}")
+ outputDir.mkdir()
+// outputDir.mkdirs()
+
+ println("FregeTask args: $args")
+ action.args(args)
+
+ action.execute()
+ }
+
+ private static void eachFileRecurse(File dir, Closure fileProcessor) {
+ dir.eachFile { File file ->
+ if (file.directory) {
+ eachFileRecurse(file, fileProcessor)
+ } else {
+ fileProcessor(file)
+ }
+ }
+ }
+
+} \ No newline at end of file
diff --git a/src/main/resources/META-INF/gradle-plugins/frege.properties b/src/main/resources/META-INF/gradle-plugins/frege.properties
new file mode 100644
index 0000000..cc3210c
--- /dev/null
+++ b/src/main/resources/META-INF/gradle-plugins/frege.properties
@@ -0,0 +1 @@
+implementation-class=org.gradle.frege.FregePlugin
generated by cgit (git 2.46.0) at 2025-02-06 20:50:17 +0000