[ change ] Revert the change regarding dylib on Mac

Author: banacorn

.github/workflows/test-mac.yaml

@@ -75,27 +75,27 @@ jobs:
         stack install
         cp ~/.local/bin/als .
 
-    - name: 📦 Some linker shit
-      id: link
-      env:
-        ICU_VER: '69'
-        ICU_DIR: '/usr/local/opt/icu4c/lib'
-      run: |
-        # Change the path to the dynamic library icu4c to the run-time search path:
-        #
-        # 1. the same directory of executable, i.e. @executable_path
-        # 2. @executable_path/../lib
-        # 3. the default location of system-wide icu4c installed by homebrew, ie. /usr/local/opt/icu4c/lib
-        #
-        ls ${ICU_DIR}
-        mkdir lib
-        cp ${ICU_DIR}/libicuuc.${ICU_VER}.dylib ${ICU_DIR}/libicui18n.${ICU_VER}.dylib ${ICU_DIR}/libicudata.${ICU_VER}.dylib lib
-        ls lib
-        install_name_tool -change ${ICU_DIR}/libicuuc.${ICU_VER}.dylib @rpath/libicuuc.${ICU_VER}.dylib als
-        install_name_tool -change ${ICU_DIR}/libicui18n.${ICU_VER}.dylib @rpath/libicui18n.${ICU_VER}.dylib als
-        install_name_tool -add_rpath @executable_path -add_rpath @executable_path/../lib -add_rpath ${ICU_DIR} als
-        otool -L als
-        file als 
+    # - name: 📦 Some linker shit
+    #   id: link
+    #   env:
+    #     ICU_VER: '69'
+    #     ICU_DIR: '/usr/local/opt/icu4c/lib'
+    #   run: |
+    #     # Change the path to the dynamic library icu4c to the run-time search path:
+    #     #
+    #     # 1. the same directory of executable, i.e. @executable_path
+    #     # 2. @executable_path/../lib
+    #     # 3. the default location of system-wide icu4c installed by homebrew, ie. /usr/local/opt/icu4c/lib
+    #     #
+    #     ls ${ICU_DIR}
+    #     mkdir lib
+    #     cp ${ICU_DIR}/libicuuc.${ICU_VER}.dylib ${ICU_DIR}/libicui18n.${ICU_VER}.dylib ${ICU_DIR}/libicudata.${ICU_VER}.dylib lib
+    #     ls lib
+    #     install_name_tool -change ${ICU_DIR}/libicuuc.${ICU_VER}.dylib @rpath/libicuuc.${ICU_VER}.dylib als
+    #     install_name_tool -change ${ICU_DIR}/libicui18n.${ICU_VER}.dylib @rpath/libicui18n.${ICU_VER}.dylib als
+    #     install_name_tool -add_rpath @executable_path -add_rpath @executable_path/../lib -add_rpath ${ICU_DIR} als
+    #     otool -L als
+    #     file als 
 
     - name: 📦 Zip the executable
       id: zip

agda-language-server.cabal

@@ -1,13 +1,13 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.4.
+-- This file has been generated from package.yaml by hpack version 0.33.0.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 5787defbc506de1670cd403d6ccbe0c621d5b429e489aa76c34a6d46f98dbbd9
+-- hash: 7a8436d062f0282114deea0760e6916246b921eb5e16e606b2d3e99adb2582d7
 
 name:           agda-language-server
-version:        0.0.1.0
+version:        0.1.0.2
 synopsis:       An implementation of language server protocal (LSP) for Agda 2.
 description:    Please see the README on GitHub at <https://github.com/banacorn/agda-language-server#readme>
 category:       Development
@@ -59,10 +59,7 @@ library
       Paths_agda_language_server
   hs-source-dirs:
       src
-  default-extensions:
-      PatternSynonyms
-      LambdaCase
-      OverloadedStrings
+  default-extensions: PatternSynonyms LambdaCase OverloadedStrings
   ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures
   build-depends:
       Agda ==2.6.2

package.yaml

@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.0.1.0
+version:             0.1.0.2
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"