fix: downloader

Author: srghma

justfile

@@ -40,4 +40,4 @@ test:
 check-ucd-text:
     node scripts/check_ucd_text_not_baked.ts
 
-update-all: clean download-ucd tables clib build test
+update-all: download-ucd tables clib build test

lakefile.lean

@@ -23,6 +23,8 @@ target UnicodeCLib pkg : FilePath := do
   let name := nameToStaticLib "unicodeclib"
   buildStaticLib (pkg.sharedLibDir / name) oFiles
 
+-- temporary fix for Windows
+meta if System.Platform.isWindows then
 extern_lib libunicodeclib := UnicodeCLib.fetch
 
 lean_lib UnicodeBasicSupport where

scripts/download_unicode_data.ts

@@ -13,7 +13,7 @@ import { fileURLToPath } from 'node:url';
 const __filename = fileURLToPath(import.meta.url);
 const __dirname = path.dirname(__filename);
 
-const dataDir = path.join(__dirname, 'data');
+const dataDir = path.join(__dirname, '..', 'data');
 const ucdDir = path.join(dataDir, 'ucd');
 const metaPath = path.join(ucdDir, '.download-meta.json');