-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
refactoring, renaming internally everything from verificatum to vfork…
… and adapting fork for agora
- Loading branch information
Eduardo Robles Elvira
committed
Apr 30, 2015
1 parent
1ad2879
commit b95013a
Showing
883 changed files
with
4,656 additions
and
7,765 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,5 @@ | ||
Authors of Verificatum (in chronological order of initial contribution) | ||
Authors of Vfork (in chronological order of initial contribution) | ||
|
||
Douglas Wikstr�m Main author | ||
|
||
Eduardo Robles Elvira Contributor | ||
David Ruescas Contributor |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
#! /bin/sh | ||
# Guess values for system-dependent variables and create Makefiles. | ||
# Generated by GNU Autoconf 2.65 for verificatum-full 1.0.7. | ||
# Generated by GNU Autoconf 2.65 for vfork-full 1.0.7. | ||
# | ||
# Report bugs to <[email protected]>. | ||
# | ||
|
@@ -549,10 +549,10 @@ MFLAGS= | |
MAKEFLAGS= | ||
|
||
# Identity of this package. | ||
PACKAGE_NAME='verificatum-full' | ||
PACKAGE_TARNAME='verificatum-full' | ||
PACKAGE_NAME='vfork-full' | ||
PACKAGE_TARNAME='vfork-full' | ||
PACKAGE_VERSION='1.0.7' | ||
PACKAGE_STRING='verificatum-full 1.0.7' | ||
PACKAGE_STRING='vfork-full 1.0.7' | ||
PACKAGE_BUGREPORT='[email protected]' | ||
PACKAGE_URL='' | ||
|
||
|
@@ -640,7 +640,7 @@ enable_option_checking | |
ac_precious_vars='build_alias | ||
host_alias | ||
target_alias' | ||
ac_subdirs_all='gmpmee jgmpmee jecn verificatum' | ||
ac_subdirs_all='gmpmee jgmpmee jecn vfork' | ||
|
||
# Initialize some variables set by options. | ||
ac_init_help= | ||
|
@@ -1181,7 +1181,7 @@ if test "$ac_init_help" = "long"; then | |
# Omit some internal or obsolete options to make the list less imposing. | ||
# This message is too long to be a string in the A/UX 3.1 sh. | ||
cat <<_ACEOF | ||
\`configure' configures verificatum-full 1.0.7 to adapt to many kinds of systems. | ||
\`configure' configures vfork-full 1.0.7 to adapt to many kinds of systems. | ||
Usage: $0 [OPTION]... [VAR=VALUE]... | ||
|
@@ -1230,7 +1230,7 @@ Fine tuning of the installation directories: | |
--localedir=DIR locale-dependent data [DATAROOTDIR/locale] | ||
--mandir=DIR man documentation [DATAROOTDIR/man] | ||
--docdir=DIR documentation root | ||
[DATAROOTDIR/doc/verificatum-full] | ||
[DATAROOTDIR/doc/vfork-full] | ||
--htmldir=DIR html documentation [DOCDIR] | ||
--dvidir=DIR dvi documentation [DOCDIR] | ||
--pdfdir=DIR pdf documentation [DOCDIR] | ||
|
@@ -1253,7 +1253,7 @@ fi | |
|
||
if test -n "$ac_init_help"; then | ||
case $ac_init_help in | ||
short | recursive ) echo "Configuration of verificatum-full 1.0.7:";; | ||
short | recursive ) echo "Configuration of vfork-full 1.0.7:";; | ||
esac | ||
cat <<\_ACEOF | ||
|
@@ -1320,7 +1320,7 @@ fi | |
test -n "$ac_init_help" && exit $ac_status | ||
if $ac_init_version; then | ||
cat <<\_ACEOF | ||
verificatum-full configure 1.0.7 | ||
vfork-full configure 1.0.7 | ||
generated by GNU Autoconf 2.65 | ||
Copyright (C) 2009 Free Software Foundation, Inc. | ||
|
@@ -1337,7 +1337,7 @@ cat >config.log <<_ACEOF | |
This file contains any messages produced by compilers while | ||
running configure, to aid debugging if configure makes a mistake. | ||
It was created by verificatum-full $as_me 1.0.7, which was | ||
It was created by vfork-full $as_me 1.0.7, which was | ||
generated by GNU Autoconf 2.65. Invocation command line was | ||
$ $0 $@ | ||
|
@@ -2255,7 +2255,7 @@ fi | |
|
||
|
||
# Define the identity of the package. | ||
PACKAGE='verificatum-full' | ||
PACKAGE='vfork-full' | ||
VERSION='1.0.7' | ||
|
||
|
||
|
@@ -2383,7 +2383,7 @@ ac_configure_args="$ac_configure_args --enable-jgmpmee --disable-check_gmpmee -- | |
|
||
|
||
|
||
subdirs="$subdirs gmpmee jgmpmee jecn verificatum" | ||
subdirs="$subdirs gmpmee jgmpmee jecn vfork" | ||
|
||
|
||
ac_config_files="$ac_config_files Makefile" | ||
|
@@ -2930,7 +2930,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 | |
# report actual input values of CONFIG_FILES etc. instead of their | ||
# values after options handling. | ||
ac_log=" | ||
This file was extended by verificatum-full $as_me 1.0.7, which was | ||
This file was extended by vfork-full $as_me 1.0.7, which was | ||
generated by GNU Autoconf 2.65. Invocation command line was | ||
CONFIG_FILES = $CONFIG_FILES | ||
|
@@ -2983,7 +2983,7 @@ _ACEOF | |
cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 | ||
ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`" | ||
ac_cs_version="\\ | ||
verificatum-full config.status 1.0.7 | ||
vfork-full config.status 1.0.7 | ||
configured by $0, generated by GNU Autoconf 2.65, | ||
with options \\"\$ac_cs_config\\" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -21,14 +21,14 @@ | |
# Process this file with autoconf to produce a configure script. | ||
|
||
AC_PREREQ([2.63]) | ||
AC_INIT([verificatum-full], [m4_esyscmd([m4 .version.m4])], [[email protected]]) | ||
AC_INIT([vfork-full], [m4_esyscmd([m4 .version.m4])], [[email protected]]) | ||
AC_CANONICAL_SYSTEM # Must appear before AM_INIT_AUTOMAKE | ||
AM_INIT_AUTOMAKE([tar-ustar -Wall -Werror -Wno-portability]) | ||
|
||
# Avoid complaints about jgmpmee not being installed. | ||
ac_configure_args="$ac_configure_args --enable-jgmpmee --disable-check_gmpmee --disable-check_jgmpmee --enable-jecn --disable-check_jecn" | ||
|
||
AC_CONFIG_SUBDIRS([gmpmee jgmpmee jecn verificatum]) | ||
AC_CONFIG_SUBDIRS([gmpmee jgmpmee jecn vfork]) | ||
|
||
AC_CONFIG_FILES([Makefile]) | ||
AC_OUTPUT |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
File renamed without changes.
Oops, something went wrong.