Replaced givaro-HEAD by givaro-4.2.0

laurentbartholdi · Oct 12, 2024 · a80f58c · a80f58c
1 parent 449e610
commit a80f58c
Show file tree

Hide file tree

Showing 501 changed files with 72,531 additions and 4,727 deletions.
diff --git a/deps/build.jl b/deps/build.jl
@@ -2,8 +2,8 @@ using Libdl
 
 installdir = pwd()*"/usr"
 
-cd("givaro") do
-    run(`./autogen.sh --prefix=$installdir`)
+cd("givaro-4.2.0") do
+    run(`./configure --prefix=$installdir`)
     run(`make install`)
 end
 

diff --git a/deps/givaro/AUTHORS → deps/givaro-4.2.0/AUTHORS b/deps/givaro/AUTHORS → deps/givaro-4.2.0/AUTHORS
diff --git a/deps/givaro/Licence_CeCILL-B_V1-fr.txt → deps/givaro-4.2.0/COPYING b/deps/givaro/Licence_CeCILL-B_V1-fr.txt → deps/givaro-4.2.0/COPYING
diff --git a/deps/givaro/COPYRIGHT → deps/givaro-4.2.0/COPYRIGHT b/deps/givaro/COPYRIGHT → deps/givaro-4.2.0/COPYRIGHT
diff --git a/deps/givaro/ChangeLog → deps/givaro-4.2.0/ChangeLog b/deps/givaro/ChangeLog → deps/givaro-4.2.0/ChangeLog
diff --git a/deps/givaro/INSTALL → deps/givaro-4.2.0/INSTALL b/deps/givaro/INSTALL → deps/givaro-4.2.0/INSTALL
diff --git a/deps/givaro/Licence_CeCILL-B_V1-en.txt → deps/givaro-4.2.0/Licence_CeCILL-B_V1-en.txt b/deps/givaro/Licence_CeCILL-B_V1-en.txt → deps/givaro-4.2.0/Licence_CeCILL-B_V1-en.txt
diff --git a/deps/givaro-4.2.0/Licence_CeCILL-B_V1-fr.txt b/deps/givaro-4.2.0/Licence_CeCILL-B_V1-fr.txt
diff --git a/deps/givaro/Makefile.am → deps/givaro-4.2.0/Makefile.am b/deps/givaro/Makefile.am → deps/givaro-4.2.0/Makefile.am
@@ -71,7 +71,7 @@ docs_dev:docs/givaro-dev-html/index.html
 docs/givaro-dev-html/index.html:
 	(cd docs; ${MAKE} docs_dev)
 
-VERSION=4.2.1alpha0
+VERSION=4.2.0
 
 git:
 	git commit -a; git pull; git push