# vim: ts=8 sw=8 noexpandtab ft=make

# Automatically generated module dependencies for
# module `check_hlds.mode_constraint_robdd' in source file `mode_constraint_robdd.m'.
# Generated by Mercury compiler version rotd-2026-08-29
# configured for x86_64-pc-linux-gnu.

# RULE date_file_deps
# target group names:
#   dates_and_err
# source group names:
#   source
#   ancestors
#   direct deps
#   indirect deps
#   type_repn self dep
#   type_repn ancestor dep
check_hlds.mode_constraint_robdd.optdate check_hlds.mode_constraint_robdd.trans_opt_date mode_constraint_robdd.err check_hlds.mode_constraint_robdd.c_date check_hlds.mode_constraint_robdd.java_date : \
		mode_constraint_robdd.m \
	\
		check_hlds.int0 \
	\
		bimap.int \
		bool.int \
		builtin.int \
		hlds.int \
		io.int \
		list.int \
		map.int \
		mdbcomp.int \
		mode_robdd.int \
		parse_tree.int \
		private_builtin.int \
		require.int \
		robdd.int \
		set.int \
		solutions.int \
		sparse_bitset.int \
		stack.int \
		std_util.int \
		stream.int \
		string.int \
		term.int \
		varset.int \
		hlds.pred_proc_id.int \
		mdbcomp.goal_path.int \
		mode_robdd.tfeirn.int \
		parse_tree.prog_data.int \
		parse_tree.set_of_var.int \
		string.format.int \
		string.parse_util.int \
	\
		array.int2 \
		assoc_list.int2 \
		bitmap.int2 \
		char.int2 \
		construct.int2 \
		cord.int2 \
		deconstruct.int2 \
		enum.int2 \
		integer.int2 \
		maybe.int2 \
		one_or_more.int2 \
		ops.int2 \
		pair.int2 \
		pretty_printer.int2 \
		set_ordlist.int2 \
		term_context.int2 \
		time.int2 \
		tree234.int2 \
		type_desc.int2 \
		univ.int2 \
		mdbcomp.prim_data.int2 \
		mdbcomp.sym_name.int2 \
		parse_tree.prog_item.int2 \
	\
		check_hlds.mode_constraint_robdd.int \
	\
		check_hlds.int

# RULE objs_on_mihs
check_hlds.mode_constraint_robdd.$O check_hlds.mode_constraint_robdd.pic_o : \
		array.mih \
		assoc_list.mih \
		bimap.mih \
		bitmap.mih \
		bool.mih \
		builtin.mih \
		char.mih \
		check_hlds.mih \
		construct.mih \
		cord.mih \
		deconstruct.mih \
		enum.mih \
		hlds.mih \
		integer.mih \
		io.mih \
		list.mih \
		map.mih \
		maybe.mih \
		mdbcomp.mih \
		mode_robdd.mih \
		one_or_more.mih \
		ops.mih \
		pair.mih \
		parse_tree.mih \
		pretty_printer.mih \
		private_builtin.mih \
		require.mih \
		robdd.mih \
		set.mih \
		set_ordlist.mih \
		solutions.mih \
		sparse_bitset.mih \
		stack.mih \
		std_util.mih \
		stream.mih \
		string.mih \
		term.mih \
		term_context.mih \
		time.mih \
		tree234.mih \
		type_desc.mih \
		univ.mih \
		varset.mih \
		check_hlds.mode_constraint_robdd.mih \
		hlds.pred_proc_id.mih \
		mdbcomp.goal_path.mih \
		mdbcomp.prim_data.mih \
		mdbcomp.sym_name.mih \
		mode_robdd.tfeirn.mih \
		parse_tree.prog_data.mih \
		parse_tree.prog_item.mih \
		parse_tree.set_of_var.mih \
		string.format.mih \
		string.parse_util.mih

# RULE mh_and_mih_on_c
check_hlds.mode_constraint_robdd.mh check_hlds.mode_constraint_robdd.mih : check_hlds.mode_constraint_robdd.c

ifeq ($(findstring java,$(GRADE)),java)

# RULE module_dep_on_java
check_hlds.mode_constraint_robdd.module_dep : jmercury/check_hlds__mode_constraint_robdd.java

else

# RULE module_dep_on_c
check_hlds.mode_constraint_robdd.module_dep : check_hlds.mode_constraint_robdd.c

endif # conditional fragment

# RULE self_and_parent_date_deps
# target group names:
#   date files
# source group names:
#   source
#   ancestor int0
#   direct dep int3s
#   indirect dep int3s
check_hlds.mode_constraint_robdd.date check_hlds.mode_constraint_robdd.date0 check_hlds.date : \
		mode_constraint_robdd.m \
	\
		check_hlds.int0 \
	\
		bimap.int3 \
		bool.int3 \
		builtin.int3 \
		hlds.int3 \
		io.int3 \
		list.int3 \
		map.int3 \
		mdbcomp.int3 \
		mode_robdd.int3 \
		parse_tree.int3 \
		private_builtin.int3 \
		require.int3 \
		robdd.int3 \
		set.int3 \
		solutions.int3 \
		sparse_bitset.int3 \
		stack.int3 \
		std_util.int3 \
		stream.int3 \
		string.int3 \
		term.int3 \
		varset.int3 \
		hlds.pred_proc_id.int3 \
		mdbcomp.goal_path.int3 \
		mode_robdd.tfeirn.int3 \
		parse_tree.prog_data.int3 \
		parse_tree.set_of_var.int3 \
		string.format.int3 \
		string.parse_util.int3 \
	\
		array.int3 \
		assoc_list.int3 \
		bitmap.int3 \
		char.int3 \
		construct.int3 \
		cord.int3 \
		deconstruct.int3 \
		enum.int3 \
		integer.int3 \
		maybe.int3 \
		one_or_more.int3 \
		ops.int3 \
		pair.int3 \
		pretty_printer.int3 \
		set_ordlist.int3 \
		term_context.int3 \
		time.int3 \
		tree234.int3 \
		type_desc.int3 \
		univ.int3 \
		mdbcomp.prim_data.int3 \
		mdbcomp.sym_name.int3 \
		parse_tree.prog_item.int3

# RULE self_and_parent_date0_deps
# target group names:
#   date0s
# source group names:
#   source
#   direct dep int3s
#   indirect dep int3s
check_hlds.mode_constraint_robdd.date0 check_hlds.date0 : \
		mode_constraint_robdd.m \
	\
		bimap.int3 \
		bool.int3 \
		builtin.int3 \
		hlds.int3 \
		io.int3 \
		list.int3 \
		map.int3 \
		mdbcomp.int3 \
		mode_robdd.int3 \
		parse_tree.int3 \
		private_builtin.int3 \
		require.int3 \
		robdd.int3 \
		set.int3 \
		solutions.int3 \
		sparse_bitset.int3 \
		stack.int3 \
		std_util.int3 \
		stream.int3 \
		string.int3 \
		term.int3 \
		varset.int3 \
		hlds.pred_proc_id.int3 \
		mdbcomp.goal_path.int3 \
		mode_robdd.tfeirn.int3 \
		parse_tree.prog_data.int3 \
		parse_tree.set_of_var.int3 \
		string.format.int3 \
		string.parse_util.int3 \
	\
		array.int3 \
		assoc_list.int3 \
		bitmap.int3 \
		char.int3 \
		construct.int3 \
		cord.int3 \
		deconstruct.int3 \
		enum.int3 \
		integer.int3 \
		maybe.int3 \
		one_or_more.int3 \
		ops.int3 \
		pair.int3 \
		pretty_printer.int3 \
		set_ordlist.int3 \
		term_context.int3 \
		time.int3 \
		tree234.int3 \
		type_desc.int3 \
		univ.int3 \
		mdbcomp.prim_data.int3 \
		mdbcomp.sym_name.int3 \
		parse_tree.prog_item.int3

# RULE foreign_deps_for_mh
# target group names:
#   object_files
# source group names:
#   own_mh_deps
check_hlds.mode_constraint_robdd.$O check_hlds.mode_constraint_robdd.pic_o : \
		array.mh \
		assoc_list.mh \
		bimap.mh \
		bitmap.mh \
		bool.mh \
		builtin.mh \
		char.mh \
		construct.mh \
		cord.mh \
		deconstruct.mh \
		enum.mh \
		hlds.mh \
		integer.mh \
		io.mh \
		list.mh \
		map.mh \
		maybe.mh \
		mdbcomp.mh \
		mode_robdd.mh \
		one_or_more.mh \
		ops.mh \
		pair.mh \
		parse_tree.mh \
		pretty_printer.mh \
		private_builtin.mh \
		require.mh \
		robdd.mh \
		set.mh \
		set_ordlist.mh \
		solutions.mh \
		sparse_bitset.mh \
		stack.mh \
		std_util.mh \
		stream.mh \
		string.mh \
		term.mh \
		term_context.mh \
		time.mh \
		tree234.mh \
		type_desc.mh \
		univ.mh \
		varset.mh \
		hlds.pred_proc_id.mh \
		io.stream_ops.mh \
		mdbcomp.goal_path.mh \
		mdbcomp.prim_data.mh \
		mdbcomp.sym_name.mh \
		mode_robdd.tfeirn.mh \
		parse_tree.prog_data.mh \
		parse_tree.prog_item.mh \
		parse_tree.set_of_var.mh \
		string.format.mh \
		string.parse_util.mh

# RULE int0_on_date0
check_hlds.mode_constraint_robdd.int0 : check_hlds.mode_constraint_robdd.date0
	@:

# RULE int_on_date
check_hlds.mode_constraint_robdd.int : check_hlds.mode_constraint_robdd.date
	@:

# RULE int2_on_date
check_hlds.mode_constraint_robdd.int2 : check_hlds.mode_constraint_robdd.date
	@:

# RULE int3_on_date3
check_hlds.mode_constraint_robdd.int3 : check_hlds.mode_constraint_robdd.date3
	@:

# RULE opt_on_opt_date
check_hlds.mode_constraint_robdd.opt : check_hlds.mode_constraint_robdd.optdate
	@:

# RULE trans_opt_on_trans_opt_date
check_hlds.mode_constraint_robdd.trans_opt : check_hlds.mode_constraint_robdd.trans_opt_date
	@:

# RULE date0_on_src
check_hlds.mode_constraint_robdd.date0 : mode_constraint_robdd.m
	$(MCPI) $(ALL_GRADEFLAGS) $(ALL_MCPIFLAGS) check_hlds.mode_constraint_robdd

# RULE date_on_src
check_hlds.mode_constraint_robdd.date : mode_constraint_robdd.m
	$(MCI) $(ALL_GRADEFLAGS) $(ALL_MCIFLAGS) check_hlds.mode_constraint_robdd

# RULE date3_on_src
check_hlds.mode_constraint_robdd.date3 : mode_constraint_robdd.m
	$(MCSI) $(ALL_GRADEFLAGS) $(ALL_MCSIFLAGS) check_hlds.mode_constraint_robdd

# RULE opt_date_on_src
check_hlds.mode_constraint_robdd.optdate : mode_constraint_robdd.m
	$(MCOI) $(ALL_GRADEFLAGS) $(ALL_MCOIFLAGS) check_hlds.mode_constraint_robdd

# RULE trans_opt_date_on_src
check_hlds.mode_constraint_robdd.trans_opt_date : mode_constraint_robdd.m
	$(MCTOI) $(ALL_GRADEFLAGS) $(ALL_MCTOIFLAGS) check_hlds.mode_constraint_robdd

# RULE c_date_on_src
check_hlds.mode_constraint_robdd.c_date : mode_constraint_robdd.m
	$(MCG) $(ALL_GRADEFLAGS) $(ALL_MCGFLAGS) check_hlds.mode_constraint_robdd $(ERR_REDIRECT)

# RULE java_date_on_src
check_hlds.mode_constraint_robdd.java_date : mode_constraint_robdd.m
	$(MCG) $(ALL_GRADEFLAGS) $(ALL_MCGFLAGS) --java-only check_hlds.mode_constraint_robdd $(ERR_REDIRECT)

