entzik

#!/bin/sh

aws lambda create-function \
--function-name ClimateMonitor  \
--region eu-west-3 \
--zip-file fileb://build/libs/iot-home-climate-monitoring-1.0.0.BUILD-SNAPSHOT-aws.jar \
--role arn:aws:iam::603595916284:role/climate-monitor-role \
--handler com.thekirschners.iot.home.monitoring.Handler \
--environment Variables="{DB_HOST_NAME=localhost,DB_USERNAME=postgres,DB_PWD=password}" \
--runtime java8  \

entzik

plugins {
    // Apply the java-library plugin to add support for Java Library
    `java-library`
    `maven-publish`
    signing
    ...
}

entzik

tasks.register<Jar>("sourcesJar") {
    archiveClassifier.set("sources")
    from(sourceSets.main.get().allJava)
}

tasks.register<Jar>("javadocJar") {
    archiveClassifier.set("javadoc")
    from(tasks.javadoc.get().destinationDir)
}

entzik

val MAVEN_UPLOAD_USER: String by project
val MAVEN_UPLOAD_PWD: String by project

publishing {
    repositories {
        maven {
            name = "MavenCentral"
            val releasesRepoUrl = "https://oss.sonatype.org/service/local/staging/deploy/maven2"
            val snapshotsRepoUrl = "https://oss.sonatype.org/content/repositories/snapshots"
            url = uri(if (version.toString().endsWith("SNAPSHOT")) snapshotsRepoUrl else releasesRepoUrl)

entzik

signing {
    val PGP_SIGNING_KEY: String? by project
    val PGP_SIGNING_PASSWORD: String? by project
    useInMemoryPgpKeys(PGP_SIGNING_KEY, PGP_SIGNING_PASSWORD)
    sign(publishing.publications["mavenJava"])
}

entzik

name: Java CI

on: [push]

jobs:
  build:

    runs-on: ubuntu-latest

    steps:

entzik

module User where

template User with
    username: Party
    following: [Party]
  where
    signatory username
    observer following

    agreement

entzik

test = scenario do
  user1 <- getParty "User One"
  user2 <- getParty "User Two"
  user3 <- getParty "User Three"
  
  userContract1 <- user1 `submit` do
    create User with username = user1, following = []
    
  userContract2 <- user2 `submit` do
    create User with username = user2, following = []

entzik

data VotingSlot = VotingSlot
  with
    count : Int
    voted : [Party]
      deriving (Eq, Show)

entzik

template Doodle
  with
    name: Text
    organizer: Party
    voters: [Party]
    options: [Text]
    votes: TextMap VotingSlot
    open: Bool
  where
    signatory organizer