Merge pull request #48 from zickgraf/fix

Fix "dot" script and prefer artifact libs over system libs
homalg-project · May 30, 2022 · 5450cc3 · 5450cc3 · mohamed-barakat · May 31, 2022
2 parents ca7b2ad + f25d974
commit 5450cc3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "CapAndHomalg"
 uuid = "c4774649-1891-41ea-a883-87141804c57c"
 authors = ["Mohamed Barakat <[email protected]>"]
-version = "1.4.0"
+version = "1.4.1"
 
 [deps]
 GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904"

diff --git a/src/setup.jl b/src/setup.jl
@@ -48,7 +48,7 @@ function regenerate_Graphviz_wrapper(binpath, wrapperpath)
         toolpath = joinpath(wrapperpath, tool)
         write(toolpath, """
         #!/bin/sh
-        export $(LIBPATH_env)="$(Graphviz_jll.LIBPATH)"
+        export $(LIBPATH_env)="$(join(reverse(Graphviz_jll.LIBPATH_list),":"))"
         $(binpath)/$(tool) "\$@"
         """)
         chmod(toolpath, 0o777)