Java module (#303)

* add java classfiles

* add java packages submodule

* remove old folder

* include module

* use checkout submodules

* checkout submodules in PR

* commit submodule

* update submodule

* move java-packages

* update submodule

* bump submodule

* fix copy command

* update submodules

---------

Co-authored-by: Martin Henz <[email protected]>

.github/workflows/pages-deploy.yml

@@ -11,6 +11,8 @@ jobs:
     steps:
       - name: Checkout 🛎️
         uses: actions/checkout@v4
+        with:
+          submodules: recursive
 
       - name: Use Node.js 💻
         uses: actions/setup-node@v4
@@ -28,6 +30,10 @@ jobs:
 
       - name: Build Modules 🔧
         run: yarn build --tsc --lint
+
+
+      - name: include java json
+        run: cp -r src/java-packages build
 
       - name: Deploy 🚀
         uses: peaceiris/actions-gh-pages@v3

.github/workflows/pull-request.yml

@@ -11,7 +11,9 @@ jobs:
     steps:
         - name: Check out source code
           uses: actions/checkout@v4
-
+          with:
+            submodules: recursive
+
         - name: Use Node.js 💻
           uses: actions/setup-node@v4
           with:

.gitmodules

@@ -0,0 +1,6 @@
+[submodule "src/java/java-packages"]
+	path = src/java/java-packages
+	url = https://github.com/source-academy/java-packages
+[submodule "src/java-packages"]
+	path = src/java-packages
+	url = https://github.com/source-academy/java-packages