indexing
	description: "System level constants."
	legal: "See notice at end of class."
	status: "See notice at end of class.";
	date: "$Date$";
	revision: "$Revision$"

class SYSTEM_CONSTANTS

inherit
	SHARED_PLATFORM_CONSTANTS

	PRODUCT_NAMES

	EIFFEL_LAYOUT
		export
			{NONE} all
		end

feature {NONE}

	Backup: STRING is "BACKUP"

	Backup_info: STRING is "compilation_info.txt"

	Studio_directory_list: STRING is "DIRECTORYLIST"

	C_prefix: CHARACTER is 'C'
			-- Prefix for C generated directories and object files

	System_object_prefix: CHARACTER is 'E'

	Continuation: CHARACTER is '\'

	Comp: STRING is "COMP"

	Descriptor_file_suffix: CHARACTER is 'd'

	Documentation: STRING is "Documentation"

	dot_e: STRING is ".e"

	Dot_c: STRING is ".c"

	Dot_cpp: STRING is ".cpp"

	Dot_h: STRING is ".h"

	Dot_x: STRING is ".x"

	Dot_xpp: STRING is ".xpp"

	Dot_profile_information: STRING is "pfi"

	Driver: STRING is
			-- Name of `driver' executable used to execute melted code.
		once
			if {PLATFORM_CONSTANTS}.is_windows then
				create Result.make (15)
				Result.append (eiffel_layout.Eiffel_c_compiler)
				Result.append ("\driver.exe")
			elseif {PLATFORM_CONSTANTS}.is_vms then
				Result := "driver.exe"
			else
				Result := "driver"
			end
		end

	Epoly: STRING is "epoly"

	Ecall: STRING is "ecall"

	Ececil: STRING is "ececil"

	Efrozen: STRING is "efrozen"

	Eiffelgens: STRING is "EIFGENs"

	Einit: STRING is "einit"

	Eoption: STRING is "eoption"

	Eparents: STRING is "eparents"

	Epattern: STRING is "epattern"

	Eplug: STRING is "eplug"

	Eref: STRING is "eref"

	Esize: STRING is "esize"

	Eskelet: STRING is "eskelet"

	Estructure: STRING is "estructure"

	Evisib: STRING is "evisib"

	F_code: STRING is "F_code"

	Feature_table_file_suffix: CHARACTER is 'f'

	Makefile_sh: STRING is "Makefile.SH"

	Partials: STRING is "Partials"

	Precomp_eif: STRING is "precomp.eif"

	Preobj: STRING is
			-- Name of C library used in precompiled library.
		once
			if {PLATFORM_CONSTANTS}.is_windows then
				Result := "precomp.lib"
			elseif {PLATFORM_CONSTANTS}.is_unix then
				Result := "preobj.o"
			else
				Result := "preobj.olb"
			end
		end

	Profiler: STRING is "Profiler"

	Project_file_name: STRING is "project.epr"

	ec_lock_file_name: STRING is "ec.lock"

	Removed_log_file_name: STRING is "REMOVED";

	Translation_log_file_name: STRING is "TRANSLAT";

	Finished_file_for_make: STRING is "finished"

	Local_assemblies: STRING is "Assemblies"

	W_code: STRING is "W_code"

	eiffel_extension: STRING is "e"
			-- File extension for an Eiffel source file without the dot

	project_extension: STRING is "epr"
			-- File extension for an Eiffel Studio project file without the dot

	config_extension: STRING is "ecf"
			-- File extension for an Eiffel configuration file without the dot

	ace_file_extension: STRING is "ace"

	Debug_info_extension: STRING is "edb"
			-- Eiffel Debug Breakpoints file (extension)

	Debug_info_name: STRING is "options"
			-- Eiffel Debug Breakpoints file (core name)	

	Il_info_extension: STRING is "edi"
			-- Eiffel Debug Info file (extension)
			-- Used for IL code generation

	Il_info_name: STRING is "il_info"
			-- Eiffel Debug Info file (core name)
			-- Used for IL code generation

	info_flag_end: STRING is "-- end of info"

	data_directory: STRING is "Data"
			-- Directory name `Data'

feature {AUXILIARY_FILES} -- Versioning

	Compiler_version_number: CONF_VERSION is
			-- Version of the compiler
		once
				-- We put (9999 + 1) because if we were to put 10000 the 4 zeros
				-- will get replaced by the delivery scripts (see comments for `snv_revision'.
			create Result.make_version (
				eiffel_layout.major_version,
				eiffel_layout.minor_version,
				(svn_revision // (9999 + 1).as_natural_32).as_natural_16,
				(svn_revision \\ (9999 + 1).as_natural_32).as_natural_16)
		end

	svn_revision: NATURAL_32 is
			-- SVN revision that build the compiler.
			-- We use `0000' because it is replaced by the actual svn revision number
			-- when doing a delivery.
		do
			Result := 0000
		end

	Version_number: STRING is
			-- Version number composed of
			-- `Major' . `Minor' . `Release' . `Build'.
		once
			create Result.make (30)
			Result.append (compiler_version_number.version)
			Result.append_character (' ')
			Result.append_string (version_type_name)
			Result.append_character (' ')
			Result.append_character ('-')
			Result.append_character (' ')
			Result.append_string (eiffel_layout.eiffel_platform)
		end

	Version_tag: INTEGER is 0x026

	Version_type_name: STRING is "GPL Edition";
			-- Name of version, e.g. GPL edition, Enterprise Edition,...
			-- Default: "GPL Edition"

	Version_info: STRING is "";
			-- Information on the version
			-- Default: ""
			-- This can be used by developper to add specific information
			-- displayed on About dialog

	Ace_file_path_tag: STRING is "ace_file_path";
			-- Tags used in project file header.

indexing
	copyright:	"Copyright (c) 1984-2006, Eiffel Software"
	license:	"GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
	licensing_options:	"http://www.eiffel.com/licensing"
	copying: "[
			This file is part of Eiffel Software's Eiffel Development Environment.
			
			Eiffel Software's Eiffel Development Environment is free
			software; you can redistribute it and/or modify it under
			the terms of the GNU General Public License as published
			by the Free Software Foundation, version 2 of the License
			(available at the URL listed under "license" above).
			
			Eiffel Software's Eiffel Development Environment is
			distributed in the hope that it will be useful,	but
			WITHOUT ANY WARRANTY; without even the implied warranty
			of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
			See the	GNU General Public License for more details.
			
			You should have received a copy of the GNU General Public
			License along with Eiffel Software's Eiffel Development
			Environment; if not, write to the Free Software Foundation,
			Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301  USA
		]"
	source: "[
			 Eiffel Software
			 356 Storke Road, Goleta, CA 93117 USA
			 Telephone 805-685-1006, Fax 805-685-6869
			 Website http://www.eiffel.com
			 Customer support http://support.eiffel.com
		]"

end