From c21b0e10b3576a492415dce02cbd339c43680680 Mon Sep 17 00:00:00 2001 From: SimonDanisch Date: Tue, 18 Jun 2019 16:34:55 +0200 Subject: [PATCH] always write deps --- deps/build.jl | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/deps/build.jl b/deps/build.jl index 4c6be04..c669496 100755 --- a/deps/build.jl +++ b/deps/build.jl @@ -33,14 +33,10 @@ for dependency in dependencies Mod.include(file) end -# First, check to see if we're all satisfied -if any(!satisfied(p; verbose=verbose) for p in products) - # Finally, write out a deps.jl file - write_deps_file(joinpath(@__DIR__, "deps.jl"), products) -end +write_deps_file(joinpath(@__DIR__, "deps.jl"), products) open("deps.jl", "a") do io write(io, """ - libversion() = $(repr(version)) + libversion() = $(repr(version)) """) end