From f25d97442505026518b684c67002fe31cc74959d Mon Sep 17 00:00:00 2001 From: Fabian Zickgraf Date: Mon, 30 May 2022 17:43:03 +0200 Subject: [PATCH] Fix "dot" script and prefer artifact libs over system libs --- Project.toml | 2 +- src/setup.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Project.toml b/Project.toml index d7d644b..f0ed1be 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "CapAndHomalg" uuid = "c4774649-1891-41ea-a883-87141804c57c" authors = ["Mohamed Barakat "] -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 index 178bb0d..1e57f73 100644 --- 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)