Add backward compatibility for Android

app/.gitignore

@@ -0,0 +1 @@
+/build

app/build.gradle

@@ -0,0 +1,32 @@
+apply plugin: 'com.android.application'
+
+sourceCompatibility = source_compatibility
+targetCompatibility = target_compatibility
+
+repositories {
+    google()
+    jcenter()
+}
+
+android {
+    compileSdkVersion 28
+    defaultConfig {
+        applicationId "org.kynosarges.tektosyne"
+        minSdkVersion 16
+        targetSdkVersion 28
+        versionCode 1
+        versionName "1.0"
+        testInstrumentationRunner "android.support.test.runner.AndroidJUnitRunner"
+    }
+    buildTypes {
+        release {
+            minifyEnabled false
+            proguardFiles getDefaultProguardFile('proguard-android.txt'), 'proguard-rules.pro'
+        }
+    }
+}
+
+dependencies {
+    implementation fileTree(dir: 'libs', include: ['*.jar'])
+    implementation 'com.android.support:appcompat-v7:28.0.0'
+}

app/proguard-rules.pro

@@ -0,0 +1,21 @@
+# Add project specific ProGuard rules here.
+# You can control the set of applied configuration files using the
+# proguardFiles setting in build.gradle.
+#
+# For more details, see
+#   http://developer.android.com/guide/developing/tools/proguard.html
+
+# If your project uses WebView with JS, uncomment the following
+# and specify the fully qualified class name to the JavaScript interface
+# class:
+#-keepclassmembers class fqcn.of.javascript.interface.for.webview {
+#   public *;
+#}
+
+# Uncomment this to preserve the line number information for
+# debugging stack traces.
+#-keepattributes SourceFile,LineNumberTable
+
+# If you keep the line number information, uncomment this to
+# hide the original source file name.
+#-renamesourcefileattribute SourceFile

app/src/main/AndroidManifest.xml

@@ -0,0 +1,11 @@
+<manifest xmlns:android="http://schemas.android.com/apk/res/android"
+          package="org.kynosarges.tektosyne">
+
+  <application
+    android:allowBackup="true"
+    android:label="@string/app_name"
+    android:icon="@mipmap/ic_launcher"
+    android:roundIcon="@mipmap/ic_launcher_round"
+    android:supportsRtl="true"
+    android:theme="@style/AppTheme"/>
+</manifest>

app/src/main/res/drawable-v24/ic_launcher_foreground.xml

@@ -0,0 +1,34 @@
+<vector xmlns:android="http://schemas.android.com/apk/res/android"
+        xmlns:aapt="http://schemas.android.com/aapt"
+        android:width="108dp"
+        android:height="108dp"
+        android:viewportHeight="108"
+        android:viewportWidth="108">
+  <path
+    android:fillType="evenOdd"
+    android:pathData="M32,64C32,64 38.39,52.99 44.13,50.95C51.37,48.37 70.14,49.57 70.14,49.57L108.26,87.69L108,109.01L75.97,107.97L32,64Z"
+    android:strokeColor="#00000000"
+    android:strokeWidth="1">
+    <aapt:attr name="android:fillColor">
+      <gradient
+        android:endX="78.5885"
+        android:endY="90.9159"
+        android:startX="48.7653"
+        android:startY="61.0927"
+        android:type="linear">
+        <item
+          android:color="#44000000"
+          android:offset="0.0"/>
+        <item
+          android:color="#00000000"
+          android:offset="1.0"/>
+      </gradient>
+    </aapt:attr>
+  </path>
+  <path
+    android:fillColor="#FFFFFF"
+    android:fillType="nonZero"
+    android:pathData="M66.94,46.02L66.94,46.02C72.44,50.07 76,56.61 76,64L32,64C32,56.61 35.56,50.11 40.98,46.06L36.18,41.19C35.45,40.45 35.45,39.3 36.18,38.56C36.91,37.81 38.05,37.81 38.78,38.56L44.25,44.05C47.18,42.57 50.48,41.71 54,41.71C57.48,41.71 60.78,42.57 63.68,44.05L69.11,38.56C69.84,37.81 70.98,37.81 71.71,38.56C72.44,39.3 72.44,40.45 71.71,41.19L66.94,46.02ZM62.94,56.92C64.08,56.92 65,56.01 65,54.88C65,53.76 64.08,52.85 62.94,52.85C61.8,52.85 60.88,53.76 60.88,54.88C60.88,56.01 61.8,56.92 62.94,56.92ZM45.06,56.92C46.2,56.92 47.13,56.01 47.13,54.88C47.13,53.76 46.2,52.85 45.06,52.85C43.92,52.85 43,53.76 43,54.88C43,56.01 43.92,56.92 45.06,56.92Z"
+    android:strokeColor="#00000000"
+    android:strokeWidth="1"/>
+</vector>

app/src/main/res/drawable/ic_launcher_background.xml

@@ -0,0 +1,171 @@
+<?xml version="1.0" encoding="utf-8"?>
+<vector
+  android:height="108dp"
+  android:width="108dp"
+  android:viewportHeight="108"
+  android:viewportWidth="108"
+  xmlns:android="http://schemas.android.com/apk/res/android">
+  <path
+    android:fillColor="#008577"
+    android:pathData="M0,0h108v108h-108z"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M9,0L9,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M19,0L19,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M29,0L29,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M39,0L39,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M49,0L49,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M59,0L59,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M69,0L69,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M79,0L79,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M89,0L89,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M99,0L99,108"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,9L108,9"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,19L108,19"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,29L108,29"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,39L108,39"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,49L108,49"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,59L108,59"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,69L108,69"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,79L108,79"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,89L108,89"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M0,99L108,99"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M19,29L89,29"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M19,39L89,39"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M19,49L89,49"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M19,59L89,59"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M19,69L89,69"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M19,79L89,79"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M29,19L29,89"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M39,19L39,89"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M49,19L49,89"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M59,19L59,89"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M69,19L69,89"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+  <path
+    android:fillColor="#00000000"
+    android:pathData="M79,19L79,89"
+    android:strokeColor="#33FFFFFF"
+    android:strokeWidth="0.8"/>
+</vector>

app/src/main/res/mipmap-anydpi-v26/ic_launcher.xml

@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="utf-8"?>
+<adaptive-icon xmlns:android="http://schemas.android.com/apk/res/android">
+  <background android:drawable="@drawable/ic_launcher_background"/>
+  <foreground android:drawable="@drawable/ic_launcher_foreground"/>
+</adaptive-icon>

app/src/main/res/mipmap-anydpi-v26/ic_launcher_round.xml

@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="utf-8"?>
+<adaptive-icon xmlns:android="http://schemas.android.com/apk/res/android">
+  <background android:drawable="@drawable/ic_launcher_background"/>
+  <foreground android:drawable="@drawable/ic_launcher_foreground"/>
+</adaptive-icon>

app/src/main/res/values/colors.xml

@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="utf-8"?>
+<resources>
+  <color name="colorPrimary">#008577</color>
+  <color name="colorPrimaryDark">#00574B</color>
+  <color name="colorAccent">#D81B60</color>
+</resources>

app/src/main/res/values/strings.xml

@@ -0,0 +1,3 @@
+<resources>
+  <string name="app_name">Tektosyne</string>
+</resources>

app/src/main/res/values/styles.xml

@@ -0,0 +1,11 @@
+<resources>
+
+  <!-- Base application theme. -->
+  <style name="AppTheme" parent="Theme.AppCompat.Light.DarkActionBar">
+    <!-- Customize your theme here. -->
+    <item name="colorPrimary">@color/colorPrimary</item>
+    <item name="colorPrimaryDark">@color/colorPrimaryDark</item>
+    <item name="colorAccent">@color/colorAccent</item>
+  </style>
+
+</resources>

build.gradle

@@ -8,14 +8,18 @@ buildscript {
     ext.project_license_tag = 'MIT' // the license tag name
     ext.project_license_url = 'https://raw.githubusercontent.com/kynosarges/tektosyne/master/LICENSE.txt' // link to the license
 
-    ext.your_github_name = 'PixelBumper'
+    ext.your_github_name = 'toteto'
 
     ext.source_compatibility = '1.8'
     ext.target_compatibility = '1.8'
 
     repositories{
+        google()
         mavenCentral()
         jcenter()
     }
 
+    dependencies {
+        classpath 'com.android.tools.build:gradle:3.2.1'
+    }
 }

gradle.properties

@@ -0,0 +1,15 @@
+# Project-wide Gradle settings.
+# IDE (e.g. Android Studio) users:
+# Gradle settings configured through the IDE *will override*
+# any settings specified in this file.
+# For more details on how to configure your build environment visit
+# http://www.gradle.org/docs/current/userguide/build_environment.html
+# Specifies the JVM arguments used for the daemon process.
+# The setting is particularly useful for tweaking memory settings.
+org.gradle.jvmargs=-Xmx1536m
+# When configured, Gradle will run in incubating parallel mode.
+# This option should only be used with decoupled projects. More details, visit
+# http://www.gradle.org/docs/current/userguide/multi_project_builds.html#sec:decoupled_projects
+# org.gradle.parallel=true
+
+

gradle/wrapper/gradle-wrapper.properties

@@ -1,6 +1,6 @@
-#Sun Mar 12 18:46:54 CET 2017
+#Thu Nov 29 21:00:46 CET 2018
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-4.6-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-4.6-all.zip

settings.gradle

@@ -1,3 +1,4 @@
 rootProject.name = 'tektosyne'
 include 'tektosyne'
 include 'tektosyne-demo'
+include ':app'

tektosyne/src/main/java/org/kynosarges/tektosyne/Fortran.java

@@ -334,7 +334,7 @@ public static float modulo(float a, float p) {
      * @throws ArithmeticException if {@code p} is zero
      */
     public static int modulo(int a, int p) {
-        return Math.floorMod(a, p);
+        return MathCompat.floorMod(a, p);
     }
 
     /**
@@ -348,7 +348,7 @@ public static int modulo(int a, int p) {
      * @throws ArithmeticException if {@code p} is zero
      */
     public static long modulo(long a, long p) {
-        return Math.floorMod(a, p);
+        return MathCompat.floorMod(a, p);
     }
 
     /**
@@ -429,7 +429,7 @@ public static float sum(float... args) {
     public static int sum(int... args) {
         int sum = 0;
         for (int n: args)
-            sum = Math.addExact(sum, n);
+            sum = MathCompat.addExact(sum, n);
 
         return sum;
     }
@@ -446,7 +446,7 @@ public static int sum(int... args) {
     public static long sum(long... args) {
         long sum = 0;
         for (long n: args)
-            sum = Math.addExact(sum, n);
+            sum = MathCompat.addExact(sum, n);
 
         return sum;
     }