Custom plugin: how do I call a PHP file if settings option is set to true?

Nevermind, I figured it out. Here’s what I did in case anybody else wants to know. In my main php file in the plugin directory, I just added the following:

if (get_option('new_option_name') == 'true') {
    require_once plugin_dir_path(__FILE__) . 'includes/theme/functions/add_id_user_admin.php';
}