[ fix ] Include DDLs in the zipped bundle

agda · Oct 4, 2021 · 0a12d2f · 0a12d2f
1 parent 0377414
commit 0a12d2f
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/test-mac.yaml b/.github/workflows/test-mac.yaml
@@ -121,6 +121,7 @@ jobs:
         # make a temporary directory for compresssing
         mkdir zip
         cp -r $datadir zip/data
+        cp -r lib zip/lib
         cp $executable zip/
         
         # compress

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## v0.1.3 - 2021-10-04
+
+### Fixed 
+- Include DLLs in the bundle
+
 ## v0.1.2 - 2021-10-03
 
 ### Fixed 

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.1.2
+version:             0.1.3
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"