Name repo properly

ml-in-barcelona · Mar 3, 2024 · bdca575 · bdca575
1 parent b465230
commit bdca575
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/dune b/dune
@@ -20,12 +20,14 @@
    (instance Functions)
    (functor Function_description))
   (generated_types Types_generated)
-  (generated_entry_point C)))
+  (generated_entry_point C))
+ (foreign_stubs
+  (language c)
+  (names shims)))
 
 (subdir
  quickjs
- (copy_files ../shims.c)
  (foreign_library
   (archive_name quickjs)
   (language c)
-  (names libregexp cutils libunicode shims)))
+  (names libregexp libunicode cutils)))
diff --git a/dune-project b/dune-project
@@ -14,7 +14,7 @@
 (authors "David Sancho <dsnxmoreno@gmail.com>")
 
 (source
- (github ml-in-barcelona/quickjs))
+ (github ml-in-barcelona/quickjs.ml))
 
 (generate_opam_files true)