#! /bin/bash

cd dl-pretty-printer

sbt publishM2

cd ../proof-datastructures

mvn install

cd ../forgetting-based-proofs

sbt assembly

cd ..

cp forgetting-based-proofs/target/scala-2.12/forgetting-based-proofs-assembly-0.1-SNAPSHOT.jar forgetting-based-proofs.jar


