Cross compile to Scala Native

.travis.yml

@@ -1,4 +1,5 @@
 language: scala
+dist: trusty
 script: ./tools/travis-script.sh
 after_success: ./tools/travis-deploy.sh
 branches:
@@ -27,4 +28,11 @@ env:
     - PLATFORM=jvm SBT_PARALLEL=true  WORKERS=4 DEPLOY=false
     - PLATFORM=jvm SBT_PARALLEL=false WORKERS=4 DEPLOY=false
     - PLATFORM=js  SBT_PARALLEL=true  WORKERS=1 DEPLOY=true
-sudo: false
+
+matrix:
+  include:
+    - scala: 2.11.11
+      before_script:
+        - curl https://raw.githubusercontent.com/scala-native/scala-native/v0.3.0/bin/travis_setup.sh | bash -x
+      sudo: required
+      env: PLATFORM=native SBT_PARALLEL=true  WORKERS=1 DEPLOY=true

build.sbt

@@ -129,3 +129,14 @@ lazy val jvm = project.in(file("jvm"))
   .settings(
     libraryDependencies += "org.scala-sbt" %  "test-interface" % "1.0"
   )
+
+lazy val native = project.in(file("native"))
+  .settings(sharedSettings: _*)
+  .settings(
+    doc in Compile := (doc in Compile in jvm).value,
+    scalaVersion := "2.11.11",
+    libraryDependencies ++= Seq(
+      "org.scala-native" %% "test-interface_native0.3" % "0.3.1"
+    )
+  )
+  .enablePlugins(ScalaNativePlugin)

native/src/main/scala/org/scalacheck/Platform.scala

@@ -0,0 +1,35 @@
+/*-------------------------------------------------------------------------*\
+**  ScalaCheck                                                             **
+**  Copyright (c) 2007-2017 Rickard Nilsson. All rights reserved.          **
+**  http://www.scalacheck.org                                              **
+**                                                                         **
+**  This software is released under the terms of the Revised BSD License.  **
+**  There is NO WARRANTY. See the file LICENSE for the full text.          **
+\*------------------------------------------------------------------------ */
+
+package org.scalacheck
+
+import Test._
+
+private[scalacheck] object Platform {
+
+  def runWorkers(
+    params: Parameters,
+    workerFun: Int => Result,
+    stop: () => Unit
+  ): Result = {
+    workerFun(0)
+  }
+
+  def loadModule(name: String, loader: ClassLoader): AnyRef =
+    org.scalajs.testinterface.TestUtils.loadModule(name, loader)
+
+  def newInstance(name: String, loader: ClassLoader)(args: Seq[AnyRef]): AnyRef =
+    org.scalajs.testinterface.TestUtils.newInstance(name, loader)(args)
+
+  // We don't need those annotation in Native, and they have been deprecated.
+  // We use `String` instead of the definition in Native because `-Xfatal-warnings`
+  // is set.
+  type JSExportDescendentObjects = String
+  type JSExportDescendentClasses = String
+}

project/plugin.sbt

@@ -4,4 +4,6 @@ addSbtPlugin("com.jsuereth" % "sbt-pgp" % "1.0.0")
 
 addSbtPlugin("org.scala-js" % "sbt-scalajs" % "0.6.13")
 
+addSbtPlugin("org.scala-native" % "sbt-scala-native" % "0.3.1")
+
 scalacOptions += "-deprecation"

src/test/scala/org/scalacheck/PropSpecification.scala

@@ -144,8 +144,8 @@ object PropSpecification extends Properties("Prop") {
   }
 
   property("throws") = throws(classOf[java.lang.Exception]) {
-    val s: String = null
-    s.length
+    val it: Iterator[Int] = Iterator.empty
+    it.next()
   }
 
   property("sizedProp") = {