diff options
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, 6 insertions, 0 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 cff9e95..1ece9e3 100644 --- a/jni-library/src/main/scala/ch/jodersky/jni/Platform.scala +++ b/jni-library/src/main/scala/ch/jodersky/jni/Platform.scala @@ -49,4 +49,10 @@ object Platform { /** Determines platform the current JVM is running on. */ def current = uname + /** Parse an id to a platform. */ + def fromId(id: String) = { + val (arch, dashKernel) = id.span(_ != '-') + Platform(arch, dashKernel.drop(1)) + } + } |