search

oscar-system / Singular.jl

Julia package for the Singular library
Other
32 stars 33 forks source link

Singular no longer builds on Ubuntu with Julia-1.4.2 #242

Closed wbhart closed 4 years ago

wbhart commented 4 years ago

I was going to do some work on Singular, but it no longer builds for me.

Here is the message:

(@v1.4) pkg> build Singular
   Building CMake ────→ `~/.julia/packages/CMake/ULbyn/deps/build.log`
   Building LoadFlint → `~/.julia/packages/LoadFlint/42zpR/deps/build.log`
   Building Nemo ─────→ `~/.julia/packages/Nemo/Pc5ui/deps/build.log`
   Building Singular ─→ `~/.julia/dev/Singular/deps/build.log`
┌ Error: Error building `Singular`:
│ -- Found Julia executable: /home/wbhart/julia-1.4.2/bin/julia
│ -- Julia_VERSION_STRING: 1.4.2
│ -- Julia_INCLUDE_DIRS:   /home/wbhart/julia-1.4.2/include/julia
│ -- Julia_LIBRARY_DIR:    /home/wbhart/julia-1.4.2/lib
│ -- Julia_LIBRARY:        /home/wbhart/julia-1.0.4/lib/libjulia.so
│ -- JULIA_HOME:           /home/wbhart/julia-1.4.2/bin
│ -- Julia_LLVM_VERSION:   v8.0.1
│ -- Julia_WORD_SIZE:      64
│ -- Found JlCxx at /home/wbhart/.julia/packages/CxxWrap/sarOk/deps/usr/lib
│ -- Configuring done
│ -- Generating done
│ CMake Warning:
│   Manually-specified variables were not used by the project:
│
│     CMAKE_PREFIX_PATH
│
│
│ -- Build files have been written to: /home/wbhart/.julia/dev/Singular/deps/src
│ Error: could not load cache
│ ERROR: LoadError: failed process: Process(`/home/wbhart/.julia/packages/CMake/ULbyn/deps/usr/bin/cmake --build .`, ProcessExited(1)) [1]
│
│ Stacktrace:
│  [1] pipeline_error at ./process.jl:525 [inlined]
│  [2] run(::Cmd; wait::Bool) at ./process.jl:440
│  [3] run(::Cmd) at ./process.jl:438
│  [4] top-level scope at /home/wbhart/.julia/dev/Singular/deps/build.jl:300
│  [5] include(::String) at ./client.jl:439
│  [6] top-level scope at none:5
│ in expression starting at /home/wbhart/.julia/dev/Singular/deps/build.jl:300
│ libcxxwrap_prefix = CxxWrap.prefix_path() = "/home/wbhart/.julia/artifacts/d54a2909808f0f05123ef98f8eef4fcde1073e52"
│ julia_exec = joinpath(Sys.BINDIR, "julia") = "/home/wbhart/julia-1.4.2/bin/julia"
│ Initializing cmake
│ Running cmake
└ @ Pkg.Operations /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Operations.jl:899

If I run the cmake command in deps/src manually, here is what I get:

In file included from /home/wbhart/.julia/dev/Singular/deps/src/singular.cpp:1:0:
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:65: error: explicit specialization of non-template ‘jlcxx::IsMirroredType’
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                                                                 ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:57:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<rRingOrder_t> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:57:47: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<rRingOrder_t> : std::true_type {
                                               ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:59:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<n_Procs_s> : std::false_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:59:44: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<n_Procs_s> : std::false_type {
                                            ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:61:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<snumber> : std::false_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:61:42: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<snumber> : std::false_type {
                                          ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:63:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<sip_smap> : std::false_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:63:43: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<sip_smap> : std::false_type {
                                           ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:65:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<ssyStrategy> : std::false_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:65:46: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<ssyStrategy> : std::false_type {
                                              ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:67:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<ip_smatrix> : std::false_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:67:45: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<ip_smatrix> : std::false_type {
                                             ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:69:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<sip_sideal> : std::false_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:69:45: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<sip_sideal> : std::false_type {
                                             ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:71:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<spolyrec> : std::false_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:71:43: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<spolyrec> : std::false_type {
                                           ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:73:20: error: ‘IsMirroredType’ is not a class template
 template <> struct IsMirroredType<__mpz_struct> : std::false_type {
                    ^~~~~~~~~~~~~~
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:73:47: error: ‘jlcxx::IsMirroredTyp ’ is not a template
 template <> struct IsMirroredType<__mpz_struct> : std::false_type {
                                               ^
/home/wbhart/.julia/dev/Singular/deps/src/includes.h:55:20: note: previous declaration here
 template <> struct IsMirroredType<n_coeffType> : std::true_type {
                    ^~~~~~~~~~~~~~
In file included from /home/wbhart/.julia/packages/CxxWrap/sarOk/deps/usr/include/jlcxx/jlcxx.hpp:14:0,
                 from /home/wbhart/.julia/dev/Singular/deps/src/xcode_jlcxx_workaround.h:27,
                 from /home/wbhart/.julia/dev/Singular/deps/src/includes.h:4,
                 from /home/wbhart/.julia/dev/Singular/deps/src/singular.cpp:1:
/home/wbhart/.julia/packages/CxxWrap/sarOk/deps/usr/include/jlcxx/module.hpp: In instantiation of ‘void jlcxx::Module::add_bits(const string&, JLSuperT*) [with T = n_coeffType; JLSuperT = _jl_datatype_t; std::__cxx11::string = std::__cxx11::basic_string<char>]’:
/home/wbhart/.julia/dev/Singular/deps/src/singular.cpp:34:49:   required from here
/home/wbhart/.julia/packages/CxxWrap/sarOk/deps/usr/include/jlcxx/module.hpp:1066:3: error: static assertion failed: Bits types must be marked as such by specializing the IsBits template
   static_assert(IsBits<T>::value || is_parametric, "Bits types must be marked as such by specializing the IsBits template");
   ^~~~~~~~~~~~~
/home/wbhart/.julia/packages/CxxWrap/sarOk/deps/usr/include/jlcxx/module.hpp: In instantiation of ‘void jlcxx::Module::add_bits(const string&, JLSuperT*) [with T = rRingOrder_t; JLSuperT = _jl_datatype_t; std::__cxx11::string = std::__cxx11::basic_string<char>]’:
/home/wbhart/.julia/dev/Singular/deps/src/singular.cpp:48:51:   required from here
/home/wbhart/.julia/packages/CxxWrap/sarOk/deps/usr/include/jlcxx/module.hpp:1066:3: error: static assertion failed: Bits types must be marked as such by specializing the IsBits template
CMakeFiles/singularwrap.dir/build.make:62: recipe for target 'CMakeFiles/singularwrap.dir/singular.cpp.o' failed
make[2]: *** [CMakeFiles/singularwrap.dir/singular.cpp.o] Error 1
CMakeFiles/Makefile2:75: recipe for target 'CMakeFiles/singularwrap.dir/all' failed
make[1]: *** [CMakeFiles/singularwrap.dir/all] Error 2
Makefile:129: recipe for target 'all' failed
make: *** [all] Error 2

This used to happen before, but we fixed it, so I don't know why it is happening now.

wbhart commented 4 years ago

I did try updating CxxWrap, but same problem. But obviously the version should be set correctly in Project.toml anyway, so this was a bit of a long shot.

wbhart commented 4 years ago

I am using Julia 1.4.2.

fingolfin commented 4 years ago

I cannot reproduce this. Could you please do a build -v Singular ? Also, list the versions of all involve Julia packages?

wbhart commented 4 years ago

I am using gcc version 7.4.0 with Ubuntu.

I don't know what build -v Singular does but here is the output:

(@v1.4) pkg> build -v Singular
   Building CMake ────→ `~/.julia/packages/CMake/ULbyn/deps/build.log`
   Building LoadFlint → `~/.julia/packages/LoadFlint/42zpR/deps/build.log`
   Building Nemo ─────→ `~/.julia/packages/Nemo/Pc5ui/deps/build.log`
   Building Singular ─→ `~/.julia/dev/Singular/deps/build.log`
libcxxwrap_prefix = CxxWrap.prefix_path() = "/home/wbhart/.julia/artifacts/d54a2909808f0f05123ef98f8eef4fcde1073e52"
julia_exec = joinpath(Sys.BINDIR, "julia") = "/home/wbhart/julia-1.4.2/bin/julia"
Initializing cmake
-- Found Julia executable: /home/wbhart/julia-1.4.2/bin/julia
-- Julia_VERSION_STRING: 1.4.2
-- Julia_INCLUDE_DIRS:   /home/wbhart/julia-1.4.2/include/julia
-- Julia_LIBRARY_DIR:    /home/wbhart/julia-1.4.2/lib
-- Julia_LIBRARY:        /home/wbhart/julia-1.0.4/lib/libjulia.so
-- JULIA_HOME:           /home/wbhart/julia-1.4.2/bin
-- Julia_LLVM_VERSION:   v8.0.1
-- Julia_WORD_SIZE:      64
-- Found JlCxx at /home/wbhart/.julia/packages/CxxWrap/sarOk/deps/usr/lib
-- Configuring done
-- Generating done
-- Build files have been written to: /home/wbhart/.julia/dev/Singular/deps/src
Running cmake
Error: could not load cache
ERROR: LoadError: failed process: Process(`/home/wbhart/.julia/packages/CMake/ULbyn/deps/usr/bin/cmake --build .`, ProcessExited(1)) [1]

Stacktrace:
 [1] pipeline_error at ./process.jl:525 [inlined]
 [2] run(::Cmd; wait::Bool) at ./process.jl:440
 [3] run(::Cmd) at ./process.jl:438
 [4] top-level scope at /home/wbhart/.julia/dev/Singular/deps/build.jl:300
 [5] include(::String) at ./client.jl:439
 [6] top-level scope at none:5
in expression starting at /home/wbhart/.julia/dev/Singular/deps/build.jl:300
┌ Error: Error building `Singular`:
└ @ Pkg.Operations /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Operations.jl:899

I am of course using a dev'd version of Singular with Julia 1.4.2 which I have manually updated with git pull.

wbhart commented 4 years ago 
(@v1.4) pkg> st
Status `~/.julia/environments/v1.4/Project.toml`
  [1f15a43c] CxxWrap v0.10.2
  [2edaba10] Nemo v0.17.5
  [bcd08a7b] Singular v0.3.1 [`~/.julia/dev/Singular`]
wbhart commented 4 years ago

I would attach my Manifest.toml, but GitHub won't allow it.

wbhart commented 4 years ago 
# This file is machine-generated - editing it directly is not advised

[[AbstractAlgebra]]
deps = ["InteractiveUtils", "LinearAlgebra", "Markdown", "Random", "SparseArrays", "Test"]
git-tree-sha1 = "a203c19175c8dfa8cd61356a06bb157e973baff0"
uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
version = "0.9.2"

[[Base64]]
uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"

[[BinDeps]]
deps = ["Libdl", "Pkg", "SHA", "URIParser", "Unicode"]
git-tree-sha1 = "46cf2c1668ad07aba5a9d331bdeea994a1f13856"
uuid = "9e28174c-4ba2-5203-b857-d8d62c4213ee"
version = "1.0.1"

[[BinaryProvider]]
deps = ["Libdl", "Logging", "SHA"]
git-tree-sha1 = "ecdec412a9abc8db54c0efc5548c64dfce072058"
uuid = "b99e7846-7c00-51b0-8f62-c81ae34c0232"
version = "0.5.10"

[[CMake]]
deps = ["BinDeps"]
git-tree-sha1 = "50a8b41d2c562fccd9ab841085fc7d1e2706da82"
uuid = "631607c0-34d2-5d66-819e-eb0f9aa2061a"
version = "1.2.0"

[[CxxWrap]]
deps = ["Libdl", "MacroTools", "libcxxwrap_julia_jll"]
git-tree-sha1 = "b400a0b5de176906388fc0c56dd93c5383049217"
uuid = "1f15a43c-97ca-5a2a-ae31-89f07a497df4"
version = "0.10.2"

[[Dates]]
deps = ["Printf"]
uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"

[[Distributed]]
deps = ["Random", "Serialization", "Sockets"]
uuid = "8ba89e20-285c-5b6f-9357-94700520ee1b"

[[GLPK_jll]]
deps = ["GMP_jll", "Libdl", "Pkg"]
git-tree-sha1 = "c0e1e14053ea92095daf648eeb2060150cfa6f34"
uuid = "e8aa6df9-e6ca-548a-97ff-1f85fc5b8b98"
version = "4.65.0+0"

[[GMP_jll]]
deps = ["Libdl", "Pkg"]
git-tree-sha1 = "4dd9301d3a027c05ec403e756ee7a60e3c367e5d"
uuid = "781609d7-10c4-51f6-84f2-b8444358ff6d"
version = "6.1.2+5"

[[InteractiveUtils]]
deps = ["Markdown"]
uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"

[[LibGit2]]
deps = ["Printf"]
uuid = "76f85450-5226-5b5a-8eaa-529ad045b433"

[[Libdl]]
uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"

[[LinearAlgebra]]
deps = ["Libdl"]
uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"

[[LoadFlint]]
deps = ["BinaryProvider", "Libdl"]
git-tree-sha1 = "4b2aa705eb750c14005dbdd1a6c1ef89d96fb5a2"
uuid = "472f376f-f1cf-461b-9ac1-d103423be9b7"
version = "0.1.3"

[[Logging]]
uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"

[[MacroTools]]
deps = ["Markdown", "Random"]
git-tree-sha1 = "f7d2e3f654af75f01ec49be82c231c382214223a"
uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
version = "0.5.5"

[[Markdown]]
deps = ["Base64"]
uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"

[[Nemo]]
deps = ["AbstractAlgebra", "BinaryProvider", "InteractiveUtils", "Libdl", "LinearAlgebra", "LoadFlint", "Markdown", "Pkg", "Random", "Test"]
git-tree-sha1 = "93ffb6356a4f41e04859b3ef821cb3f5048574da"
uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a"
version = "0.17.5"

[[Pkg]]
deps = ["Dates", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "UUIDs"]
uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"

[[Printf]]
deps = ["Unicode"]
uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"

[[REPL]]
deps = ["InteractiveUtils", "Markdown", "Sockets"]
uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"

[[Random]]
deps = ["Serialization"]
uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"

[[SHA]]
uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"

[[Serialization]]
uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"

[[Singular]]
deps = ["AbstractAlgebra", "BinaryProvider", "CMake", "CxxWrap", "Libdl", "LinearAlgebra", "Markdown", "Nemo", "Pkg", "Statistics", "lib4ti2_jll"]
path = "/home/wbhart/.julia/dev/Singular"
uuid = "bcd08a7b-43d2-5ff7-b6d4-c458787f915c"
version = "0.3.1"

[[Sockets]]
uuid = "6462fe0b-24de-5631-8697-dd941f90decc"

[[SparseArrays]]
deps = ["LinearAlgebra", "Random"]
uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"

[[Statistics]]
deps = ["LinearAlgebra", "SparseArrays"]
uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"

[[Test]]
deps = ["Distributed", "InteractiveUtils", "Logging", "Random"]
uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

[[URIParser]]
deps = ["Unicode"]
git-tree-sha1 = "53a9f49546b8d2dd2e688d216421d050c9a31d0d"
uuid = "30578b45-9adc-5946-b283-645ec420af67"
version = "0.4.1"

[[UUIDs]]
deps = ["Random", "SHA"]
uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"

[[Unicode]]
uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"

[[lib4ti2_jll]]
deps = ["GLPK_jll", "GMP_jll", "Libdl", "Pkg"]
git-tree-sha1 = "764d2788b260b3d655e9030df0eab01ac3711cc5"
uuid = "1493ae25-0f90-5c0e-a06c-8c5077d6d66f"
version = "1.6.9+1"

[[libcxxwrap_julia_jll]]
deps = ["Libdl", "Pkg"]
git-tree-sha1 = "b7594ea3040804e12eddebd977ec856ec0a17f19"
uuid = "3eaa8342-bff7-56a5-9981-c04077f7cee7"
version = "0.7.1+1"
benlorenz commented 4 years ago

The JlCxx location in the cmake output looks wrong, this should be somewhere in the .julia/artifacts directory instead of the following: -- Found JlCxx at /home/wbhart/.julia/packages/CxxWrap/sarOk/deps/usr/lib

Have you tried cleaning out all the cmake caches and related stuff from the deps directory, e.g. run git clean -fdx to clean out all untracked files in the Singular.jl directory.

wbhart commented 4 years ago

That seemed to work. Thanks.

Perhaps we can add the command to clean the CMake caches to the build script somehow. I guess they are there for a reason, but this is going to be annoying for others I imagine.

fingolfin commented 4 years ago

Actually some time ago I already revised deps/build.jl to do exactly that, which is why I still feel uneasy about this issue -- would have been good to know how exactly this broke... perhaps I am simply not clearing out "enough"? For reference, I've moved the CMake build directory outside the source directory, and delete it before a build (as I had lots of trouble before caused by this not happening):

...
cmake_src_path = joinpath(@__DIR__, "src")
cmake_build_path = joinpath(@__DIR__, "build")

rm(cmake_build_path, recursive = true, force = true)
mkpath(cmake_build_path)
cd(cmake_build_path)

println("Initializing cmake")
run(`$(CMake.cmake)
    -DJulia_EXECUTABLE=$julia_exec
    -DCMAKE_PREFIX_PATH=$libcxxwrap_prefix
    -Dextra_cppflags=$extra_cppflags
    -Dsingular_includes=$prefixpath/include
    -Dsingular_libdir=$prefixpath/lib
    -DCMAKE_INSTALL_LIBDIR=$prefixpath/lib
    $cmake_src_path`)

println("Running cmake")
run(`$(CMake.cmake) --build .`)
run(`$(CMake.cmake) --install .`)

include("parselibs.jl")
wbhart commented 4 years ago

Unfortunately as I ran the exact command Benjamin supplied, I won't be able to reproduce the issue now. All the files that weren't under revision control are gone.

If it helps, here is a list:

Removing deps/Singular_build/
Removing deps/build.log
Removing deps/build/
Removing deps/build_GMP.v6.1.2.jl
Removing deps/build_MPFR.v4.0.2.jl
Removing deps/build_libflint.v0.0.0-ba0ceed35136a2a43441ab9a9b2e7764e38548ea.jl
Removing deps/build_libflint.v0.0.0-d46056d45c6429f58ec63cf3c2e59b00f8431479.jl
Removing deps/build_libntl.v10.5.0.jl
Removing deps/build_libsingular.v0.0.1.jl
Removing deps/build_libsingular.v0.0.6.jl
Removing deps/deps.jl
Removing deps/ntl-10.5.0.tar.gz
Removing deps/src/CMakeCache.txt
Removing deps/src/CMakeFiles/
Removing deps/src/Makefile
Removing deps/src/cmake_install.cmake
Removing deps/src/install_manifest.txt
Removing deps/src/lib/
Removing deps/src/libsingularwrap.so
Removing deps/tmpK5iCKr/
Removing deps/tmpLCAOpZ/
Removing deps/tmpjKOG9H/
Removing deps/usr/
Removing src/libraryfuncdictionary.jl
benlorenz commented 4 years ago

Probably deps/src/CMakeCache.txtor deps/src/CMakeFiles, both from before the switch to the build directory, caused this.

fingolfin commented 4 years ago

Yeah, likely. We could resolve this by explicating deleting those when building, too, but I think this will only affect a tiny minority of people, and not anymore going forward, so it should be OK to ignore (now that we understand it)