diff options
author | Jakob Odersky <jodersky@gmail.com> | 2015-12-06 17:03:08 -0800 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2015-12-06 17:09:40 -0800 |
commit | e2505d1d9e2e49554057a8cd5fb71b0ac0e3ba63 (patch) | |
tree | f4fec79ba707aa9b2dec903d54a164f357961f19 /jni-library/src/main/scala/ch/jodersky/jni/Platform.scala | |
parent | 3e90312b3f2d912bf27e91b454a6ef21a81a2fc5 (diff) | |
download | sbt-jni-e2505d1d9e2e49554057a8cd5fb71b0ac0e3ba63.tar.gz sbt-jni-e2505d1d9e2e49554057a8cd5fb71b0ac0e3ba63.tar.bz2 sbt-jni-e2505d1d9e2e49554057a8cd5fb71b0ac0e3ba63.zip |
Use separate project for native libraries
Diffstat (limited to 'jni-library/src/main/scala/ch/jodersky/jni/Platform.scala')
-rw-r--r-- | jni-library/src/main/scala/ch/jodersky/jni/Platform.scala | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/jni-library/src/main/scala/ch/jodersky/jni/Platform.scala b/jni-library/src/main/scala/ch/jodersky/jni/Platform.scala index db1662d..cff9e95 100644 --- a/jni-library/src/main/scala/ch/jodersky/jni/Platform.scala +++ b/jni-library/src/main/scala/ch/jodersky/jni/Platform.scala @@ -20,15 +20,16 @@ case class Platform private (arch: String, kernel: String) { object Platform { + /** The unknown platform. */ final val Unknown = Platform("unknown", "unknown") - /** Create a platform with spaces stripped and case normalized. */ + /** Creates a platform with spaces stripped and case normalized. */ def normalized(arch: String, kernel: String): Platform = { def normalize(str: String) = str.toLowerCase.filter(!_.isWhitespace) Platform(normalize(arch), normalize(kernel)) } - /** Run 'uname' to determine current platform. Returns None if uname does not exist. */ + /** Runs 'uname' to determine current platform. Returns None if uname does not exist. */ def uname: Option[Platform] = { val lineOpt = try { Some(Process("uname -sm").lines.head) @@ -45,6 +46,7 @@ object Platform { } } + /** Determines platform the current JVM is running on. */ def current = uname } |