Move template to /etc

Nemocas · Jan 30, 2025 · fa03268 · fa03268
1 parent 8c7c8bb
commit fa03268
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/flint/FlintCTypes_template.jl → etc/FlintCTypes_template.jl b/src/flint/FlintCTypes_template.jl → etc/FlintCTypes_template.jl
diff --git a/etc/generate_FLINT_structs.jl b/etc/generate_FLINT_structs.jl
@@ -111,7 +111,7 @@ end
 
 file_header_notice(FLINT_jll_version) = """
 # Most of this file is generated from FLINT's header files.
-# Do not edit manually, only the corresponding `*_template.jl` should be edited.
+# Do not edit manually, only the corresponding `etc/*_template.jl` file should be edited.
 
 # This file was generated using FLINT_jll v$(FLINT_jll_version).
 
@@ -136,7 +136,7 @@ function main()
   flintversion = pkgversion(FLINT_jll)
   @info "Found FLINT" flintpath flintversion
 
-  infile = joinpath(nemopath, "src", "flint", "FlintCTypes_template.jl")
+  infile = joinpath(nemopath, "etc", "FlintCTypes_template.jl")
   outfile = joinpath(nemopath, "src", "flint", "FlintCTypes.jl")
   expand_template_file(infile, outfile, flintpath, file_header_notice(flintversion))
 end

diff --git a/src/flint/FlintCTypes.jl b/src/flint/FlintCTypes.jl
@@ -1,5 +1,5 @@
 # Most of this file is generated from FLINT's header files.
-# Do not edit manually, only the corresponding `*_template.jl` should be edited.
+# Do not edit manually, only the corresponding `etc/*_template.jl` file should be edited.
 
 # This file was generated using FLINT_jll v300.100.301+0.