6.1 Creating and Customizing Profiles

A profile is an alist providing values for Oz mode variables and environment variables. The best way to create and customize profiles is through Emacs's customize interface. For example M-x customize-variable RET oz-profiles will provide you with an interactive customization sheet as shown in Figure 6.1.

Figure 6.1: Initial Customization Sheet

We create a new profile by clicking the INS (insert) button, and obtain a new entry as shown in Figure 6.2 with many possible settable parameters.

Figure 6.2: After Clicking INS

Fortunately, you never need to specify many of them. All the others take appropriate default values.

6.1.1 Global Profile

For example, let's define a profile to use the globally installed Mozart in the usual fashion. Here are the steps to follow:

We arrive at the profile customization shown in Figure 6.3. Don't forget to save it by clicking the Save For Future Sessions button.

Figure 6.3: Global Profile

6.1.2 Default Profile

A so-called default profile consists of whatever settings were present in your environment when you started Emacs. This is for proper operation when you actually choose to invoke oz rather than plain emacs: in that case, the default profile consists of the settings established by the oz script. You can also create a default profile:

The only reason to have a named default profile is so that you can revert to the original settings in force when you started oz by switching to this profile.

6.1.3 Build Profile

Developers may find it marginally convenient to be able to define a profile where the emulator and all modules are looked up directly in the build tree. Here are the steps to follow:

For example, Figure 6.4 shows typical build settings on my laptop.

Figure 6.4: Build Profile

6.1.4 Debug Profile

Developers will find it particularly convenient to be able to define debug profiles, i. e. build profiles for builds configured with --enable-opt=d, and, in particular the ability to state that they should be run under control of GDB. Here are the steps to follow:

For example, Figure 6.5 shows typical debug settings on my laptop.

Figure 6.5: Build Profile

Note that any profile can be set to run under GDB, but this is rarely useful except when used with a debug emulator.

Leif Kornstaedt and Denys Duchier
Version 1.4.0 (20080702)