including {Apalache,Typing.tla}, README.md, LICENSE, and NOTICE (#447)

including {Apalache,Typing.tla}, README.md, LICENSE, and NOTICE

LICENSE

@@ -181,8 +181,9 @@
         - TU Wien (Austria) 2016-2018,
         - INRIA Nancy (France) 2018-2019,
         - Interchain Foundation (Switzerland) 2019,
-        - Informal Systems (Austria) 2020.
-     * Jure Kukovec: TU Wien (Austria), 2016-2020.
+        - Informal Systems (Austria) 2020-2021.
+     * Jure Kukovec: TU Wien (Austria), 2016-2021.
+     * Shon Feder: Informal Systems (Canada), 2020-2021.
      * Andrey Kuprianov: Informal Systems (Austria) 2020.
      * Thanh Hai Tran: TU Wien (Austria), 2016-2020.
      * Viktor Sergeev: Univ. of Lorraine (France), 2019.

NOTICE

@@ -0,0 +1,32 @@
+Apalache
+
+This software is developed by:
+
+ * Igor Konnov:
+    - TU Wien (Austria) 2016-2018,
+    - INRIA Nancy (France) 2018-2019,
+    - Interchain Foundation (Switzerland) 2019,
+    - Informal Systems (Austria) 2020-2021.
+ * Jure Kukovec: TU Wien (Austria), 2016-2021.
+ * Shon Feder: Informal Systems (Canada), 2020-2021.
+ * Andrey Kuprianov: Informal Systems (Austria) 2020.
+ * Thanh Hai Tran: TU Wien (Austria), 2016-2020.
+ * Viktor Sergeev: Univ. of Lorraine (France), 2019.
+
+Licensed under the Apache License, Version 2.0, see LICENSE
+
+This product includes software developed at:
+
+  * TLA2 Tools: org.lamport.tla2tools
+    - URL: https://github.com/tlaplus/tlaplus
+    - License: MIT License
+
+  * Microsoft Z3
+    - URL: https://github.com/Z3Prover/z3
+    - License: MIT License
+
+  * Scala
+    - URL: https://www.scala-lang.org/
+    - License: Apache 2.0
+
+  * more to be added soon...

src/assembly/bin.xml

@@ -6,9 +6,31 @@
         <format>jar</format>
     </formats>
     <includeBaseDirectory>false</includeBaseDirectory>
+
+    <!-- including some files from the project directory -->
+    <fileSets>
+        <fileSet>
+            <directory>${project.parent.basedir}</directory>
+            <outputDirectory></outputDirectory>
+            <includes>
+                <include>README.md</include>
+                <include>LICENSE</include>
+            </includes>
+        </fileSet>
+        <fileSet>
+            <!-- this is where SANY is looking for modules by default -->
+            <directory>${project.parent.basedir}/src/tla</directory>
+            <outputDirectory>tla2sany/StandardModules/</outputDirectory>
+            <includes>
+                <include>Apalache.tla</include>
+                <include>Typing.tla</include>
+            </includes>
+        </fileSet>
+    </fileSets>
+
+    <!-- including the modules -->
     <moduleSets>
         <moduleSet>
-
             <!-- enable access to all projects in the current multimodule build! -->
             <useAllReactorProjects>true</useAllReactorProjects>
 
@@ -19,9 +41,10 @@
                 <include>at.forsyte.apalache:tla-assignments</include>
                 <include>at.forsyte.apalache:tla-bmcmt</include>
                 <include>at.forsyte.apalache:tool</include>
+                <include>at.forsyte.apalache</include>
             </includes>
             <binaries>
-                <outputDirectory>/</outputDirectory>
+                <outputDirectory></outputDirectory>
                 <unpack>true</unpack> <!-- unpack the jars in order to add them into the distribution jar -->
             </binaries>
         </moduleSet>