2009-06-23 Basile Starynkevitch <basile@starynkevitch.net>

	[simplified the program flags, using a source path and a module
	path. Removed LTDL]
	* common.opt: all *basilys* variables renamed as *melt*
	* basilys.h (debugeprintf_raw, debugeprintvalue, debugebacktrace)
	(debugvalue_at, debugmsgval_at, debugbacktrace_at):
	flag_basilys_debug renamed as flag_melt_debug.
	(basilys_tempdir_path) removed, renamed as (melt_tempdir_path).
	* basilys.c: including <dlfcn.h>. renamed all *basilys* variables
	as *melt*.
	(load_basilys_modules_and_do_command, basilysgc_load_modulelist)
	(load_checked_dynamic_module_index): simpler loading using path
	and GCCMELT_SOURCE_PATH & GCCMELT_MODULE_PATH environment
	variables.
	* toplev.c: removed LTDL. 
	(toplev_main) merged initialize_plugins calls from trunk.
	* configure: regenerated.
	* configure.ac: removed LTDL stuff.
	* run-basilys.h: dont require LTDL.
	* Makefile.in: replaced flags using our paths.
	* doc/melt.texi: updated.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@148858 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 31 insertions, 31 deletions

diff --git a/gcc/common.opt b/gcc/common.opt
index 76f5de0229b..f5ed4493a5f 100644
--- a/gcc/common.opt
+++ b/gcc/common.opt
@@ -329,71 +329,71 @@ fauto-inc-dec
 Common Report Var(flag_auto_inc_dec) Init(1)
 Generate auto-inc/dec instructions
 
-;;;;;; basilys/MELT stuff
+;;;;;; MELT stuff
 ; global GCC analysis by Basile (source file gcc/basilys.c)
 fmelt=
-Common Report Var(basilys_mode_string) Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
+Common Report Var(melt_mode_string) Joined  Condition(HAVE_PARMAPOLY && ENABLE_BASILYSMELT)
 Basile's mode with command or analysis to run. Uses -fmelt=help for more.
 
-; argument string for basilys
+; argument string for melt
 fmelt-arg=
-Common Report Var(basilys_argument_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
-Initial argument for basilys analysis 
+Common Report Var(melt_argument_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && ENABLE_BASILYSMELT)
+Initial argument for melt analysis 
 
-; argument list string for basilys
+; argument list string for melt
 fmelt-arglist=
-Common Report Var(basilys_arglist_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
-Initial comma separated argument list for basilys analysis 
+Common Report Var(melt_arglist_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && NABLE_BASILYSMELT)
+Initial comma separated argument list for melt analysis 
 
 
-; compile script used to compile C files generated by basilys
+; compile script used to compile C files generated by melt
 fmelt-compile-script=
-Common Report Var(basilys_compile_script_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL & ENABLE_BASILYSMELT)
-compile script invoked by basilys on generated C files
+Common Report Var(melt_compile_script_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && ENABLE_BASILYSMELT)
+compile script invoked by melt on generated C files
 
 ; debug flag for above analysis
 fmelt-debug
-Common Report Var(flag_basilys_debug)  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
+Common Report Var(flag_melt_debug)  Condition(HAVE_PARMAPOLY &&  ENABLE_BASILYSMELT)
 Gives lots of debugging stuff for -fmelt analysis
 
 ; debug skip for above analysis
 fmelt-debugskip=
-Common Report Var(count_basilys_debugskip_string) RejectNegative Joined Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
+Common Report Var(count_melt_debugskip_string) RejectNegative Joined Condition(HAVE_PARMAPOLY &&  ENABLE_BASILYSMELT)
 Counter of debug prints to skip for -fmelt-debug
 
-; dynlib plugin directory for basilys
-fmelt-dynlibdir=
-Common Report Var(basilys_dynlibdir_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
-Dynlib plugin directory for basilys
+; dynamic module path for MELT
+fmelt-module-path=
+Common Report Var(melt_dynmodpath_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY &&  ENABLE_BASILYSMELT)
+Dynamic module colon-separated path for MELT [or $GCCMELT_MODULE_PATH]
 
 
 ; shared GDBM indexed file to keep state
 fmelt-gdbmstate=
-Common Report Var(basilys_gdbmstate_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
+Common Report Var(melt_gdbmstate_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY &&  ENABLE_BASILYSMELT)
 Shared GDBM state indexed file. Should be explicitly given.
 
-; generated source directory for basilys
-fmelt-gensrcdir=
-Common Report Var(basilys_gensrcdir_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
-Generated source directory for basilys
+; source path for melt -either *.melt or *.c files
+fmelt-source-path=
+Common Report Var(melt_srcpath_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY &&  ENABLE_BASILYSMELT)
+Source colon-separated path for MELT [or $GCCMELT_SOURCE_PATH]
 
 ; initial C or dynamic lib modules for above analysis
 fmelt-init=
-Common Report Var(basilys_init_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
-Initial semi-colon separated list of modules for -fmelt analysis (dynamic C mode)
+Common Report Var(melt_init_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY &&  ENABLE_BASILYSMELT)
+Initial colon separated list of modules for -fmelt analysis (dynamic C mode)
 
-; second argument string for basilys
+; second argument string for melt
 fmelt-secondarg=
-Common Report Var(basilys_secondargument_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
-Second argument for basilys analysis 
+Common Report Var(melt_secondargument_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY &&  ENABLE_BASILYSMELT)
+Second argument for melt analysis 
 
-; temporary directory for basilys
+; temporary directory for melt
 fmelt-tempdir=
-Common Report Var(basilys_tempdir_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY && HAVE_LIBTOOLDYNL && ENABLE_BASILYSMELT)
-Temporary directory for basilys (is not cleaned if specified)
+Common Report Var(melt_tempdir_string) RejectNegative Joined  Condition(HAVE_PARMAPOLY &&  ENABLE_BASILYSMELT)
+Temporary directory for melt (is not cleaned if specified)
 
 
-;;;;;;;;;; end of basilys/MELT stuff
+;;;;;;;;;; end of Basile's MELT stuff
 
 ; -fcheck-bounds causes gcc to generate array bounds checks.
 ; For C, C++ and ObjC: defaults off.