Skip to content

Commit

Permalink
Merge branch 'develop'
Browse files Browse the repository at this point in the history
  • Loading branch information
DavePearce committed Jun 4, 2015
2 parents b5add1d + 4cbffc6 commit b3c562f
Show file tree
Hide file tree
Showing 1,634 changed files with 6,608 additions and 222,467 deletions.
8 changes: 0 additions & 8 deletions build.xml
100755 → 100644
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,6 @@
<fileset dir="modules" includes="wyc/build.xml"/>
<fileset dir="modules" includes="wyrt/build.xml"/>
<fileset dir="modules" includes="wyjc/build.xml"/>
<!--wyopcl-->
<!-- <fileset dir="modules" includes="wyopcl/build.xml" /> -->
</subant>
</target>

Expand Down Expand Up @@ -73,8 +71,6 @@
<!--<group title="Whiley-2-C Compiler (WYCC)" packages="wycc:wycc.*"/>-->
<group title="Whiley Constraint Solver (WYCS)" packages="wycs:wycs.*"/>
<group title="Whiley Rewrite Language (WYRL)" packages="wyrl:wyrl.*:wyautl.*"/>
<!-- wyopcl -->
<!-- <group title="Whiley-2-OpenCL (WyOpCL)" packages="wyopcl:wyopcl.*" /> -->
</javadoc>
</target>

Expand All @@ -91,8 +87,6 @@
<fileset dir="modules" includes="wyc/build.xml"/>
<fileset dir="modules" includes="wyrt/build.xml"/>
<fileset dir="modules" includes="wyjc/build.xml"/>
<!--wyopcl-->
<!-- <fileset dir="modules" includes="wyopcl/build.xml" /> -->

</subant>
</target>
Expand Down Expand Up @@ -124,8 +118,6 @@
<include name="bin/wy_common.bash"/>
<include name="lib/*-v${version}.jar"/>
<include name="lib/jasm-v*.jar"/>
<!-- wyopcl -->
<!-- <include name="bin/wyopcl" /> -->
</fileset>
</copy>
<tar destfile="dist/wdk-src-v${version}.tar" longfile="gnu">
Expand Down
2 changes: 1 addition & 1 deletion config.xml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
<project name="BuildConfig">
<property name="version" value="0.3.33"/>
<property name="version" value="0.3.34"/>
<property name="JASM_JAR" value="lib/jasm-v0.1.7.jar"/>
</project>
Loading

0 comments on commit b3c562f

Please sign in to comment.